Jon,
This looks good.
On a related note. It looks like
System.getProperty("java.specification.version") yields the same value as
String.valueOf(Runtime.version().feature()).
> On 1 Jul 2020, at 01:22, Jonathan Gibbons <jonathan.gibb...@oracle.com> wrote:
>
> Please review an update to the JDK 16 part of the issues initially reported
> in JDK-8248409.
>
> The story so far ...
>
> The JDK 15 part of the fix has been pushed, and because it was anticipated
> that this would
> cause conflicts and a test failure in JDK 16, a test in JDK 16 was
> temporarily problem listed.
>
> This changeset contains the test fix (previously reviewed) and removes the
> test from the
> ProblemList. In addition, some errors were made when forward-porting the
> fixes from 15
> into 16, such that some of the changes in 15 were accidentally reverted. So,
> the fixes
> are re-applied here.
>
> Changes:
>
> • src/.../Head.java ... fix a merge error (re-apply the change)
> • test/.../ProblemList.txt ... remove the test from the problem list
> • test/.../TestGeneratedBy.java ... fix a merge error (re-apply the
> change)
> • test/.../TestHeadTag.java ... fix the 16-specific test to track the
> JDK 15 changes
> This should complete the work for this overall issue,
>
> -- Jon
>
> JBS: https://bugs.openjdk.java.net/browse/JDK-8248417
> Webrev: http://cr.openjdk.java.net/~jjg/8248417/webrev.01/
>
