> Document existing behavior. > > Please also review the CSR https://bugs.openjdk.org/browse/JDK-8309415
Joe Darcy has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains five additional commits since the last revision: - Respond to review feedback. - Merge branch 'master' into JDK-8295071 - Respond to review feedback. - Merge branch 'master' into JDK-8295071 - JDK-8309415: Spec Clarification : ClassFileFormatVersion: System property java.class.version | Java class format version number ------------- Changes: - all: https://git.openjdk.org/jdk/pull/14305/files - new: https://git.openjdk.org/jdk/pull/14305/files/33bb646b..018a5dc2 Webrevs: - full: https://webrevs.openjdk.org/?repo=jdk&pr=14305&range=03 - incr: https://webrevs.openjdk.org/?repo=jdk&pr=14305&range=02-03 Stats: 1867 lines in 57 files changed: 1607 ins; 39 del; 221 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