On Sat, 24 Sep 2022 12:14:49 GMT, Markus KARG <duke at openjdk.org> wrote: > @bplb Fixed the issues you pointed out. @mkarg You are welcome. ------------- PR: https://git.openjdk.org/jdk/pull/6935