8295071: Spec Clarification : ClassFileFormatVersion: System property java.class.version | Java class format version number

Reviewed-by: iris, alanb, rriggs

Author: jddarcy

src/java.base/share/classes/java/lang/System.java

@@ -753,7 +753,10 @@ public static native void arraycopy(Object src,  int  srcPos,
      * <tr><th scope="row">{@systemProperty java.specification.name}</th>
      *     <td>Java Runtime Environment specification  name</td></tr>
      * <tr><th scope="row">{@systemProperty java.class.version}</th>
-     *     <td>Java class format version number</td></tr>
+     *     <td>{@linkplain java.lang.reflect.ClassFileFormatVersion#latest() Latest}
+     *     Java class file format version recognized by the Java runtime as {@code "MAJOR.MINOR"}
+     *     where {@link java.lang.reflect.ClassFileFormatVersion#major() MAJOR} and {@code MINOR}
+     *     are both formatted as decimal integers</td></tr>
      * <tr><th scope="row">{@systemProperty java.class.path}</th>
      *     <td>Java class path  (refer to
      *        {@link ClassLoader#getSystemClassLoader()} for details)</td></tr>

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

@@ -36,6 +36,13 @@
  * added to model future releases of the Java Virtual Machine
  * Specification.
  *
+ * @apiNote
+ * The complete version used in a class file includes a major version
+ * and a minor version; this enum only models the major version. A
+ * Java virtual machine implementation is required to support a range
+ * of major versions; see the corresponding edition of the <cite>The
+ * Java Virtual Machine Specification</cite> for details.
+ *
  * @since 20
  * @see System#getProperties System property {@code java.class.version}
  * @see java.compiler/javax.lang.model.SourceVersion
@@ -64,7 +71,7 @@ public enum ClassFileFormatVersion {
     RELEASE_1(45),
 
     /**
-     * The version recognized by the Java 2 Platform, Standard Edition,
+     * The version introduced by the Java 2 Platform, Standard Edition,
      * v 1.2.
      *
      * The format described in <cite>The Java Virtual Machine
@@ -74,19 +81,19 @@ public enum ClassFileFormatVersion {
     RELEASE_2(46),
 
     /**
-     * The version recognized by the Java 2 Platform, Standard Edition,
+     * The version introduced by the Java 2 Platform, Standard Edition,
      * v 1.3.
      */
     RELEASE_3(47),
 
     /**
-     * The version recognized by the Java 2 Platform, Standard Edition,
+     * The version introduced by the Java 2 Platform, Standard Edition,
      * v 1.4.
      */
     RELEASE_4(48),
 
     /**
-     * The version recognized by the Java 2 Platform, Standard
+     * The version introduced by the Java 2 Platform, Standard
      * Edition 5.0.
      *
      * @see <a
@@ -100,7 +107,7 @@ public enum ClassFileFormatVersion {
     RELEASE_5(49),
 
     /**
-     * The version recognized by the Java Platform, Standard Edition
+     * The version introduced by the Java Platform, Standard Edition
      * 6.
      *
      * @see <a
@@ -110,7 +117,7 @@ public enum ClassFileFormatVersion {
     RELEASE_6(50),
 
     /**
-     * The version recognized by the Java Platform, Standard Edition
+     * The version introduced by the Java Platform, Standard Edition
      * 7.
      *
      * @see <a
@@ -120,7 +127,7 @@ public enum ClassFileFormatVersion {
     RELEASE_7(51),
 
     /**
-     * The version recognized by the Java Platform, Standard Edition
+     * The version introduced by the Java Platform, Standard Edition
      * 8.
      *
      * @see <a
@@ -132,7 +139,7 @@ public enum ClassFileFormatVersion {
     RELEASE_8(52),
 
     /**
-     * The version recognized by the Java Platform, Standard Edition
+     * The version introduced by the Java Platform, Standard Edition
      * 9.
      *
      * @see <a
@@ -144,7 +151,7 @@ public enum ClassFileFormatVersion {
      RELEASE_9(53),
 
     /**
-     * The version recognized by the Java Platform, Standard Edition
+     * The version introduced by the Java Platform, Standard Edition
      * 10.
      *
      * @see <a
@@ -154,7 +161,7 @@ public enum ClassFileFormatVersion {
     RELEASE_10(54),
 
     /**
-     * The version recognized by the Java Platform, Standard Edition
+     * The version introduced by the Java Platform, Standard Edition
      * 11.
      *
      * @see <a
@@ -166,7 +173,7 @@ public enum ClassFileFormatVersion {
     RELEASE_11(55),
 
     /**
-     * The version recognized by the Java Platform, Standard Edition
+     * The version introduced by the Java Platform, Standard Edition
      * 12.
      *
      * @see <a
@@ -176,7 +183,7 @@ public enum ClassFileFormatVersion {
     RELEASE_12(56),
 
     /**
-     * The version recognized by the Java Platform, Standard Edition
+     * The version introduced by the Java Platform, Standard Edition
      * 13.
      *
      * @see <a
@@ -186,7 +193,7 @@ public enum ClassFileFormatVersion {
     RELEASE_13(57),
 
     /**
-     * The version recognized by the Java Platform, Standard Edition
+     * The version introduced by the Java Platform, Standard Edition
      * 14.
      *
      * @see <a
@@ -196,7 +203,7 @@ public enum ClassFileFormatVersion {
     RELEASE_14(58),
 
     /**
-     * The version recognized by the Java Platform, Standard Edition
+     * The version introduced by the Java Platform, Standard Edition
      * 15.
      *
      * @see <a
@@ -208,7 +215,7 @@ public enum ClassFileFormatVersion {
     RELEASE_15(59),
 
     /**
-     * The version recognized by the Java Platform, Standard Edition
+     * The version introduced by the Java Platform, Standard Edition
      * 16.
      *
      * @see <a
@@ -218,7 +225,7 @@ public enum ClassFileFormatVersion {
     RELEASE_16(60),
 
     /**
-     * The version recognized by the Java Platform, Standard Edition
+     * The version introduced by the Java Platform, Standard Edition
      * 17.
      *
      * Additions in this release include sealed classes and
@@ -235,7 +242,7 @@ public enum ClassFileFormatVersion {
     RELEASE_17(61),
 
     /**
-     * The version recognized by the Java Platform, Standard Edition
+     * The version introduced by the Java Platform, Standard Edition
      * 18.
      *
      * @see <a
@@ -245,7 +252,7 @@ public enum ClassFileFormatVersion {
     RELEASE_18(62),
 
     /**
-     * The version recognized by the Java Platform, Standard Edition
+     * The version introduced by the Java Platform, Standard Edition
      * 19.
      *
      * @see <a
@@ -255,7 +262,7 @@ public enum ClassFileFormatVersion {
     RELEASE_19(63),
 
     /**
-     * The version recognized by the Java Platform, Standard Edition
+     * The version introduced by the Java Platform, Standard Edition
      * 20.
      *
      * @see <a
@@ -265,7 +272,7 @@ public enum ClassFileFormatVersion {
     RELEASE_20(64),
 
     /**
-     * The version recognized by the Java Platform, Standard Edition
+     * The version introduced by the Java Platform, Standard Edition
      * 21.
      *
      * @since 21