8249687: Use inline @jls and @jvm tages in more places in java.base

Reviewed-by: bpb, mchung, mikael

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

@@ -436,7 +436,7 @@ public final class Constructor<T> extends Executable {
      *
      * <p>If the constructor's declaring class is an inner class in a
      * non-static context, the first argument to the constructor needs
-     * to be the enclosing instance; see section 15.9.3 of
+     * to be the enclosing instance; see section {@jls 15.9.3} of
      * <cite>The Java Language Specification</cite>.
      *
      * <p>If the required access and argument checks succeed and the

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

@@ -32,7 +32,8 @@ import java.util.StringJoiner;
  * constants to decode class and member access modifiers.  The sets of
  * modifiers are represented as integers with distinct bit positions
  * representing different modifiers.  The values for the constants
- * representing the modifiers are taken from the tables in sections 4.1, 4.4, 4.5, and 4.7 of
+ * representing the modifiers are taken from the tables in sections
+ * {@jvms 4.1}, {@jvms 4.4}, {@jvms 4.5}, and {@jvms 4.7} of
  * <cite>The Java Virtual Machine Specification</cite>.
  *
  * @see Class#getModifiers()

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

@@ -392,7 +392,7 @@ final class ProxyGenerator extends ClassWriter {
     /**
      * Return the number of abstract "words", or consecutive local variable
      * indexes, required to contain a value of the given type.  See JVMS
-     * section 3.6.1.
+     * section {@jvms 3.6.1}.
      * <p>
      * Note that the original version of the JVMS contained a definition of
      * this abstract notion of a "word" in section 3.4, but that definition