On Tue, 13 May 2025 18:07:28 GMT, Naoto Sato <naoto at openjdk.org> wrote: > Simple cleanup Nice. ------------- Marked as reviewed by iris (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/25216#pullrequestreview-2837741004