On Mon, 18 Jul 2022 11:28:12 GMT, Roman Kennke <rkennke at openjdk.org> wrote: > Looks good to me. I closed it. Unfortunately, the fix can still fail ... ------------- PR: https://git.openjdk.org/jdk/pull/9494