Merge branch 'stable-3.1' into master

* stable-3.1:
  Bump Bazel version to 3.7.0
  Upgrade javamelody-core to 1.86.0
  Upgrade bazlets to latest stable-3.0 to build with 3.0.13 API

Change-Id: I2889714f802c7dc2db1a4f64f27b915bbc8962f9
diff --git a/.bazelversion b/.bazelversion
index 1545d96..7c69a55 100644
--- a/.bazelversion
+++ b/.bazelversion
@@ -1 +1 @@
-3.5.0
+3.7.0
diff --git a/external_plugin_deps.bzl b/external_plugin_deps.bzl
index 56845fa..f5acb1c 100644
--- a/external_plugin_deps.bzl
+++ b/external_plugin_deps.bzl
@@ -3,8 +3,8 @@
 def external_plugin_deps():
     maven_jar(
         name = "javamelody-core",
-        artifact = "net.bull.javamelody:javamelody-core:1.85.0",
-        sha1 = "c3ba19e7ee1727d015bb9fc5ab806118b71873bc",
+        artifact = "net.bull.javamelody:javamelody-core:1.86.0",
+        sha1 = "9aa8fc685238ba3391c5e163a451d52bb254387a",
     )
 
     maven_jar(