On Mon, 24 Nov 2025 17:31:20 GMT, Viktor Klang <vklang at openjdk.org> wrote: > Adds the patch by @DougLea Would you like me to add some test code to make sure something like this does not happen again? ------------- PR Comment: https://git.openjdk.org/jdk/pull/28479#issuecomment-3572026766