For review. https://bugs.openjdk.java.net/browse/JDK-8222777 <https://bugs.openjdk.java.net/browse/JDK-8222777> -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://mail.openjdk.java.net/pipermail/amber-spec-experts/attachments/20190422/03d3e8a4/attachment.html>