Sorry, I forgot about that. I filed an issue here: https://bugs.openjdk.org/browse/JDK-8371504
I can’t promise, but I think there are good chances that we will do it. Thanks for bringing this up! Hannes On 07.11.2025, at 15:44, Garret Wilson <[email protected]> wrote: … A first step to evaluate these questions might be to file an enhancement issue at https://bugs.openjdk.org/ . 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?
