On Mon, 18 Jul 2022 08:28:45 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote: > To have this fixed in jdk 19, you need to open a PR againsts jdk 19. Sorry I missed this was indeed against jdk 19. ------------- PR: https://git.openjdk.org/jdk19/pull/130