RFR: JDK-8285764: Add system property for Java SE specification maintenance version [v2]

[Mark Reinhold]

On Thu, 28 Apr 2022 17:36:32 GMT, Joe Darcy <darcy at openjdk.org> wrote:

>> Add a new system property, java.specification.maintenance.version, to return the maintenance release number of the Java SE specification being implemented. The property is unset, optional in the terminology of System.getProperties, for an initial release of a specification.
>> 
>> Please also review the CSR https://bugs.openjdk.java.net/browse/JDK-8285764
>> 
>> I'll update copyright years before an integration.
>
> 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.
>  - Respond to CSR feedback.
>  - Merge branch 'master' into JDK-8285497
>  - Update comment in template.
>  - JDK-8285497: Add system property for Java SE specification maintenance version

Also, don't forget to update the CSR with the new specification text, for the record.
Otherwise, looks good!

src/java.base/share/classes/java/lang/VersionProps.java.template line 113:

> 111:         props.put("java.specification.version", VERSION_SPECIFICATION);
> 112: 
> 113:         // Uncomment next props.put call after the first maintenance review for a

s/review/release/

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

Changes requested by mr (Lead).

PR: https://git.openjdk.java.net/jdk/pull/8437