Hi, Conor The change looks fine, please note that you will need to crate a PR on the GitHub to integrate this fix.
* CSR: https://bugs.openjdk.java.net/browse/JDK-8252495The CSR could be improved, take a look to this example:
https://bugs.openjdk.java.net/browse/JDK-8250581 The body of the CSR contains all changes in the specification, the link to the webrev is not enough. -- Best regards, Sergey.