On Mon, 18 Aug 2025 07:59:35 GMT, Emanuel Peter <epeter at openjdk.org> wrote: > 2 little nits left over ;) I addressed both of them. Thank you for pointing them out. ------------- PR Comment: https://git.openjdk.org/jdk/pull/26429#issuecomment-3195683022