Hi Stephan Schroevers,

Sorry about the delay, I was on vacation.

I don't think it's something we can fix ourselves unfortunately, it looks a lot like this issue https://bugs.openjdk.java.net/browse/JDK-8163449 mentioned in the other report you wrote about.

Could you try to upgrade your Travis build to use JDK 10 (by using oraclejdk10) and see if it reproduces?