On Mon, 5 Jun 2023 01:11:54 GMT, Joe Darcy <da...@openjdk.org> wrote:
> Document existing behavior. > > Please also review the CSR https://bugs.openjdk.org/browse/JDK-8309415 This pull request has now been integrated. Changeset: d82436e4 Author: Joe Darcy <da...@openjdk.org> URL: https://git.openjdk.org/jdk/commit/d82436e4e33a33b1a2ea5ad01c7370ccaf4eb2c5 Stats: 31 lines in 2 files changed: 10 ins; 0 del; 21 mod 8295071: Spec Clarification : ClassFileFormatVersion: System property java.class.version | Java class format version number Reviewed-by: iris, alanb, rriggs ------------- PR: https://git.openjdk.org/jdk/pull/14305
