Thanks, I was using oracle jdk anyway, not openjdk. Regards
On Sunday, September 9, 2018, Vladimir Sitnikov <[email protected]> wrote: > >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 > -- Cordialement. Philippe Mouawad.
