On Tue, 11 Oct 2022 00:44:56 GMT, Marcus Hirt <hirt at openjdk.org> wrote: > Cleanup to reduce the warning noise a bit. Marked as reviewed by clanger (Committer). ------------- PR: https://git.openjdk.org/jmc/pull/438