FYI: https://jcp.org/en/jsr/detail?id=384
This PR is based on build 10.
For your convenience, it may also be viewed here:
http://cr.openjdk.java.net/~iris/se/11/pr/java-se-11-pr-spec/
The JCP Public Review period officially ends Mon 7 May; however,
feedback is always welcome.
Thanks,
Iris