On Wed, 4 Dec 2024 21:06:45 GMT, Weijun Wang <weijun at openjdk.org> wrote: > Switch to `FINAL`. Looks good to me. ------------- Marked as reviewed by jnimeh (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/22562#pullrequestreview-2480229065