On Mon, 27 Nov 2023 08:27:25 GMT, Stefan Karlsson <stefank at openjdk.org> wrote: > So, I think you have found a separate issue. I'll open a separate issue for that and propose a change. ------------- PR Comment: https://git.openjdk.org/jdk/pull/16807#issuecomment-1833661517