On Fri, 17 Jun 2022 08:53:15 GMT, Christian Hagedorn <chagedorn at openjdk.org> wrote: > I've also ran into this problem before, thanks for fixing this! Looks good! Thanks for reviewing, Christian! ------------- PR: https://git.openjdk.org/jdk/pull/9169