On Tue, 2 Aug 2022 13:49:11 GMT, Evgeny Astigeevich <duke at openjdk.org> wrote: > I can submit PR with it if there is interest in the solution. > What do you think? @eastig Please do that. Your code change suggestion is good. ------------- PR: https://git.openjdk.org/jdk/pull/9709