On Mon, 5 Feb 2024 10:37:59 GMT, Magnus Ihse Bursie <ihse at openjdk.org> wrote: > I'll have a look. It is definitely cleaner if it works. Yeah, no, as expected it did not work. ------------- PR Comment: https://git.openjdk.org/jdk/pull/17688#issuecomment-1926726543