On 07/07/2020 14:08, Sean Mullan wrote:
I believe this is a more general problem - and I would beg to tackle that in a followup issue if you don't mind.Ok.
For the record I have logged https://bugs.openjdk.java.net/browse/JDK-8248909
best regards, -- daniel
