10 months ago wenzelm 2018-10-05 discontinue java.ext.dirs for jdk-11 -- in contrast to 982f0bf34804 for jdk-8;
19 months ago wenzelm 2018-01-23 more robust java.ext.dirs: avoid picking up accidental jars from system directories;
22 months ago wenzelm 2017-10-23 updated to jdk-8u152, which is for x86_64 only;
2016-10-04 wenzelm 2016-10-04 proper ISABELLE_TOOL_JAVA_OPTIONS (as in "isabelle" wrapper);
2016-10-03 wenzelm 2016-10-03 clarified cold-start environment;
2016-10-02 wenzelm 2016-10-02 added isabelle_java cold-start executable;