--- old/src/jdk.jdwp.agent/share/native/libjdwp/util.c	2020-04-13 21:04:10.000000000 -0700
+++ new/src/jdk.jdwp.agent/share/native/libjdwp/util.c	2020-04-13 21:04:09.000000000 -0700
@@ -997,6 +997,15 @@
         }
         p++;
     }
+    // for a hidden class,  map from "Ljava/lang/Foo;/1234" to "java.lang.Foo/1234"
+    // so skip ';' and copy the suffix
+    if ((*p == ';') && (*(p+1) == '/')) {
+        while (*(p+1) != '\0') {
+            char c = *(p+1);
+            *(p-1) = c;
+            p++;
+        }
+    }
     *(p-1) = '\0';
 }