Vote: yes Best regards, Emanuel -------------- next part -------------- An HTML attachment was scrubbed... URL: <https://mail.openjdk.org/pipermail/jdk-dev/attachments/20250422/3d4ea599/attachment.htm>