On Mon, 17 Jan 2022 08:10:57 GMT, Thomas Stuefe <stu...@openjdk.org> wrote:
> I propose a simpler and more robust way to fix it though Great, this is the kind of thing I was heading towards with the conversation in the bug text. Although not sure why I could not reproduce the problem, with various different JDK versions. ------------- PR: https://git.openjdk.java.net/jdk/pull/7003
