On Wed, 4 Jun 2025 11:25:44 GMT, Andrei Pangin <apangin at openjdk.org> wrote: >> Is this something for a later PR? > > I'm OK with fixing this separately. Please ensure that you file a follow-up issue on this matter. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/25302#discussion_r2127213771