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

Mon Jun 5 21:14:46 UTC 2023

> Document existing behavior.
> 
> Please also review the CSR https://bugs.openjdk.org/browse/JDK-8309415

Joe Darcy has updated the pull request incrementally with one additional commit since the last revision:

  Respond to review feedback.

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

Changes:
  - all: https://git.openjdk.org/jdk/pull/14305/files
  - new: https://git.openjdk.org/jdk/pull/14305/files/5c7e4172..33bb646b

Webrevs:
 - full: https://webrevs.openjdk.org/?repo=jdk&pr=14305&range=02
 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=14305&range=01-02

  Stats: 2 lines in 1 file changed: 1 ins; 0 del; 1 mod
  Patch: https://git.openjdk.org/jdk/pull/14305.diff
  Fetch: git fetch https://git.openjdk.org/jdk.git pull/14305/head:pull/14305

PR: https://git.openjdk.org/jdk/pull/14305