On Wed, 12 Mar 2025 09:25:40 GMT, Emanuel Peter <epeter at openjdk.org> wrote: > Nice idea, looks good to me too :) Thank you! ------------- PR Comment: https://git.openjdk.org/jdk/pull/23931#issuecomment-2717367229