On Tue, 30 Aug 2022 05:18:35 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote: > Does this fix [JDK-8293039](https://bugs.openjdk.org/browse/JDK-8293039) as well? Hi @TobiHartmann , yes it should. ------------- PR: https://git.openjdk.org/jdk/pull/9987