On Fri, 9 May 2025 05:13:43 GMT, Galder Zamarreño <galder at openjdk.org> wrote: > Fixes https://bugs.openjdk.org/browse/CODETOOLS-7903998 OK! Thanks for handling this one. ------------- Marked as reviewed by shade (Committer). PR Review: https://git.openjdk.org/jmh/pull/157#pullrequestreview-2827297774