On Thu, 13 Oct 2022 10:34:04 GMT, Roman Kennke <rkennke at openjdk.org> wrote: > It used to be very stable before that. I have backed out that change, can you try again? Seems fine now, thanks. ------------- PR: https://git.openjdk.org/jdk/pull/10590