src/java.base/share/classes/java/lang/reflect/ProxyGenerator.java

@@ -381,11 +381,11 @@
     /**
      * Convert a fully qualified class name that uses '.' as the package
      * 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('.', '/');
     }