On Wed, 5 Jun 2024 18:28:07 GMT, Valerie Peng <valeriep at openjdk.org> wrote: >> Looks good to me. > > Yes, I prefer this. Done in 5fe83b20a10002c4c48e90321e69629bbd0aa9ff. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/18898#discussion_r1628299501