bin/isabelle_java
2016-10-03 wenzelm 2016-10-03 clarified cold-start environment;
2016-10-02 wenzelm 2016-10-02 added isabelle_java cold-start executable;