On Wed, 16 Nov 2022 07:37:38 GMT, Aleksey Shipilev <shade at openjdk.org> wrote: > But this is okay as well. Thanks. I will take another look to see if we can further improve this after this one is merged. ------------- PR: https://git.openjdk.org/jdk/pull/11130