On 07/06/2019 07:31, Christian Stein wrote: > : > Is this the related issue? > > https://bugs.openjdk.java.net/browse/JDK-8224794 Yes, that's it. I should have sent the link here as follow-up to that part of the discussion.