On Wed, 14 Sep 2022 12:03:04 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote: > Okay, please go ahead and file a follow-up bug then. Sure. I filed a new JBS issue in https://bugs.openjdk.org/browse/JDK-8293833. ------------- PR: https://git.openjdk.org/jdk/pull/9652