git: openjdk/jdk17u-dev: 8285497: Add system property for Java SE specification maintenance version

Thu Jul 18 07:38:26 UTC 2024

Changeset: 2464d8c1
Branch: master
Author:    Justin Lu <jlu at openjdk.org>
Committer: Christoph Langer <clanger at openjdk.org>
Date:      2024-07-18 07:37:39 +0000
URL:       https://git.openjdk.org/jdk17u-dev/commit/2464d8c1c77153b7660a529020a61e97897750af

8285497: Add system property for Java SE specification maintenance version

Reviewed-by: lancea, andrew, iris
Backport-of: c2c9e7fb8c857e40bc43b4053c2633825d4fb68e

! src/java.base/share/classes/java/lang/System.java
! src/java.base/share/classes/java/lang/VersionProps.java.template
! src/java.base/share/classes/sun/security/provider/PolicyFile.java
! src/java.base/share/conf/security/java.policy