old_contents: load("//tools/bzl:maven_jar.bzl", "maven_jar")
  
  def external_plugin_deps():
      maven_jar(
          name = "javamelody-core",
          artifact = "net.bull.javamelody:javamelody-core:1.79.0",
          sha1 = "9413e29625402900e69feae8f1948ea694a88244",
      )
  
      maven_jar(
          name = "jrobin",
          artifact = "org.jrobin:jrobin:1.5.9",
          sha1 = "bd9a84484c67de930fa841f23cd6a93108b05cd0",
      )
  
new_contents: load("//tools/bzl:maven_jar.bzl", "maven_jar")
  
  def external_plugin_deps():
      maven_jar(
          name = "javamelody-core",
          artifact = "net.bull.javamelody:javamelody-core:1.80.0",
          sha1 = "9499869f068a1e57efefa392a06b5a7635613359",
      )
  
      maven_jar(
          name = "jrobin",
          artifact = "org.jrobin:jrobin:1.5.9",
          sha1 = "bd9a84484c67de930fa841f23cd6a93108b05cd0",
      )
  
subject: Upgrade javamelody-core to 1.80.0