Merge branch 'stable-3.1'

* stable-3.1:
  Upgrade javamelody-core to 1.85.0

Change-Id: Ie20fa97c9358a5cd494ad87d8a4dc56c7ec9a406
diff --git a/WORKSPACE b/WORKSPACE
index e43e132..f9317f6 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -3,7 +3,7 @@
 load("//:bazlets.bzl", "load_bazlets")
 
 load_bazlets(
-    commit = "b6cb89690a5e06261932eb30c95fd8db34a7943a",
+    commit = "74f9d8e76d5014d218ae6fe55127a5288c9a32c3",
     #local_path = "/home/<user>/projects/bazlets",
 )