On Fri, 6 Jan 2023 00:37:45 GMT, Sergey Bylokhov <serb at openjdk.org> wrote: > Since this is just a revert what about fixing it in jdk20? If it had been introduced in 20 we likely would but it was introduced in 19. ------------- PR: https://git.openjdk.org/jdk/pull/11808