Thanks for the correction Robbe, I see what you mean now. -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://mail.openjdk.org/pipermail/amber-spec-observers/attachments/20230614/b66cc986/attachment.htm>