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