On Wed, 15 Jun 2022 09:21:16 GMT, Christian Hagedorn <chagedorn at openjdk.org> wrote: > Looks good, thanks for fixing this! And nice new warnings. Thanks for reviewing, Christian. ------------- PR: https://git.openjdk.org/jdk/pull/9164