>On what platform and precise JDK version do you get the issue JAVA_HOME=$(/usr/libexec/java_home -v 9) java -version java version "9.0.4" Java(TM) SE Runtime Environment (build 9.0.4+11) Java HotSpot(TM) 64-Bit Server VM (build 9.0.4+11, mixed mode)
and openjdk version "10.0.2" 2018-07-17 OpenJDK Runtime Environment 18.3 (build 10.0.2+13) OpenJDK 64-Bit Server VM 18.3 (build 10.0.2+13, mixed mode) macOS 10.13.6 (17G65) Macbook 15 late 2013, retina Well, I have retried it, and it does NOT reproduce. I have no idea what it was, however I was able to reproduce it at will. Vladimir
