It sounds to me like nothing bad whatsoever will come from leaving it out. -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://mail.openjdk.java.net/pipermail/amber-spec-experts/attachments/20190611/fecf9282/attachment.html>