include_defs('//lib/maven.defs')

maven_jar(
  name = 'javamelody',
  id = 'net.bull.javamelody:javamelody-core:1.48.0',
  sha1 = '4c573306061019430a735d9d58f93639f4a0ff0b',
  license = 'DO_NOT_DISTRIBUTE',
)

maven_jar(
  name = 'jrobin',
  id = 'org.jrobin:jrobin:1.5.9',
  sha1 = 'bd9a84484c67de930fa841f23cd6a93108b05cd0',
  license = 'DO_NOT_DISTRIBUTE',
)