On Thu, 15 Feb 2024 09:10:51 GMT, Julian Waters <jwaters at openjdk.org> wrote: > We should remove the workaround as soon as possible, given the chance. Why the hurry? ------------- PR Comment: https://git.openjdk.org/jdk/pull/17868#issuecomment-1945991815