On Fri, 22 Jul 2022 08:08:40 GMT, Andrew Haley <aph at openjdk.org> wrote: > I've reproduced the problem and I'm now looking at the cleanest way to fix it. You can check out the patch I uploaded to JDK-8290780 and see if I'm on the right track on not :-) ------------- PR: https://git.openjdk.org/jdk/pull/9398