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