Update javamelody-core to 1.71.0

Change-Id: I734fcdf8b8470d939e5a38b096c3497a3d9ea12a
diff --git a/external_plugin_deps.bzl b/external_plugin_deps.bzl
index d824dfd..bb82907 100644
--- a/external_plugin_deps.bzl
+++ b/external_plugin_deps.bzl
@@ -3,8 +3,8 @@
 def external_plugin_deps():
   maven_jar(
     name = 'javamelody_lib',
-    artifact = 'net.bull.javamelody:javamelody-core:1.70.0',
-    sha1 = '929d487a8858ce4cf57a2dc0a3d1c2d59ad491a9',
+    artifact = 'net.bull.javamelody:javamelody-core:1.71.0',
+    sha1 = '21b25741016ec135b7294fbd3cb5f41ace83b9ab',
   )
 
   maven_jar(