On Sat, 3 Dec 2022 22:42:54 GMT, Alexander Veit <duke at openjdk.org> wrote: > Backport-of: a0f6f2409ea61ff9ed9dc2e2b46e309c751d456d Verified. We could not reproduce the bug with the latest nightly build. ------------- PR: https://git.openjdk.org/jdk17u-dev/pull/947