On 03.12.19 10:30, Dalibor Topic wrote: > Hi Philippe, > > it seems that it was closed in triage as a potential duplicate of > https://bugs.openjdk.java.net/browse/JDK-8232997 . This seems to be correct. We re-tested with JDK 14-ea b25 and the issue is fixed. Thank you for your help Philippe