FYI: https://jcp.org/en/jsr/detail?id=383 This PR is based on build 33. For you convenience, it may also be viewed here: http://cr.openjdk.java.net/~iris/se/18.3/pr/java-se-18.3-pr-spec/java-se-18.3-pr-spec.html The Public Review period ends Tue 1 Jan. As usual, feedback is always welcome. Thanks, Iris