On Tue, 24 Oct 2023 08:32:46 GMT, Aleksey Shipilev <shade at openjdk.org> wrote: > See the bug for reproducer. The fix is easy: handle more JVM variants. Any other reviewers, or we consider this trivial? ------------- PR Comment: https://git.openjdk.org/jdk/pull/16337#issuecomment-1778837691