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.85.0",
          sha1 = "c3ba19e7ee1727d015bb9fc5ab806118b71873bc",
      )
  
      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.86.0",
          sha1 = "9aa8fc685238ba3391c5e163a451d52bb254387a",
      )
  
      maven_jar(
          name = "jrobin",
          artifact = "org.jrobin:jrobin:1.5.9",
          sha1 = "bd9a84484c67de930fa841f23cd6a93108b05cd0",
      )
  
subject: Upgrade javamelody-core to 1.86.0