Hi Dirk, Is it possible to simply use the /usr/lib/jvm/default-java/bin/java path instead of /usr/lib/jvm/default-java/jre/bin/java? Historically jre/bin/ contained only the JRE executables, and bin/ contained the JDK tools (javac, jar, etc). With Java 9 the layout has been simplified and the executables are all in the bin/ directory. If you only use the java interpreter you can point to bin/java since it exists in both OpenJDK 8 and OpenJDK 9 packages.
Emmanuel Bourg
