--- old/src/java.base/share/classes/java/lang/reflect/ProxyGenerator.java	2020-02-12 20:09:23.697893189 -0800
+++ new/src/java.base/share/classes/java/lang/reflect/ProxyGenerator.java	2020-02-12 20:09:23.469779197 -0800
@@ -383,7 +383,7 @@
      * separator, the external representation used by the Java language
      * and APIs, to a fully qualified class name that uses '/' as the
      * package separator, the representation used in the class file
-     * format (see JVMS section 4.2).
+     * format (see JVMS section {@jvms 4.2}).
      */
     private static String dotToSlash(String name) {
         return name.replace('.', '/');