Well, that's a very good reason indeed ;) Thanks for the info! On 07/10/2025 21:47, Brian Burkhalter wrote: > There is one in progress: https://github.com/openjdk/jdk/pull/27657 > > On Oct 7, 2025, at 12:44 PM, Rob Spoor <openjdk at icemanx.nl> wrote: > > Is it OK if I create a PR for this? Or is there a reason not to implement this? >