<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
Sorry, I forgot about that. I filed an issue here:
<div><br>
</div>
<div><a href="https://bugs.openjdk.org/browse/JDK-8371504">https://bugs.openjdk.org/browse/JDK-8371504</a></div>
<div><br>
</div>
<div>I can’t promise, but I think there are good chances that we will do it. Thanks for bringing this up!</div>
<div><br>
</div>
<div>Hannes</div>
<div><br>
</div>
<div>
<div><br>
<blockquote type="cite">
<div>On 07.11.2025, at 15:44, Garret Wilson <garret@globalmentor.com> wrote:</div>
<div>
<div><br>
<blockquote type="cite">…<br>
<br>
A first step to evaluate these questions might be to file an enhancement issue at https://bugs.openjdk.org/ .<br>
</blockquote>
<br>
That was actually my very first stop, before I even filed the Stack Overflow issue if I remember correctly. But it looks like I have to have an OpenJDK login to even file a ticket. (It didn't used to be like that; I've filled Java bugs for eons.) How do I get
an OpenJDK login?<br>
<br>
</div>
</div>
</blockquote>
</div>
<br>
</div>
</body>
</html>