src/Tools/JVM/java_ext_dirs
2012-05-10 wenzelm 2012-05-10 file.encoding=UTF-8 for java.ext.dirs, to agree with java runtime invocation;
2012-04-14 wenzelm 2012-04-14 more robust invocation via ISABELLE_JDK_HOME and SCALA_HOME;
2012-03-26 wenzelm 2012-03-26 more robust command invocation via ISABELLE_JDK_HOME or SCALA_HOME (NB: bash exec requires genuine executable, not function);
2012-03-24 wenzelm 2012-03-24 ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE); update for prospective jdk1.7.x component;
2011-11-07 wenzelm 2011-11-07 offline build of java_ext_dirs.jar, to avoid runtime dependency on javac/jar executables;