RFR: JDK-8295071: Spec Clarification : ClassFileFormatVersion: System property java.class.version | Java class format version number [v4]

[Joe Darcy]

On Tue, 6 Jun 2023 08:41:28 GMT, Alan Bateman <alanb at openjdk.org> wrote:

> > "Latest Java class file format version recognized by the Java runtime as "MAJOR.MINOR" where MAJOR and MINOR are both formatted as decimal integers"
> 
> Okay, and linking to ClassFileFormatVersion.latest() is good.
> 
> Again, just to lobby for putting an adjective into the ClassFileFormatVersion.RELEASE_XX descriptions to make it clearer than the value is the latest version recognized rather than single version that the wording currently suggests.

Okay, for the constants for 1.2 and later, I switched to "The version introduced by...".

The 1.0.2 and 1.1 versions of the platform use the same class file format version.

Explanatory apiNote for ClassFileFormatVersion also added.

I don't think those are spec changes per se, so I didn't update the CSR to include them.

-------------

PR Review Comment: https://git.openjdk.org/jdk/pull/14305#discussion_r1220026016