lib/Tools/java
2015-09-30 wenzelm 2015-09-30 renamed jvmpath to platform_path;
2014-10-27 wenzelm 2014-10-27 clarified ISABELLE_JDK_HOME vs. JAVA_HOME;
2013-09-12 wenzelm 2013-09-12 absorb final CLASSPATH as well, such that tools might provide that by elementary means, without the "classpath" shell function (e.g. kodkodi/nitpick);
2013-09-12 wenzelm 2013-09-12 maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources); ignore $ISABELLE_JAVA_EXT -- do not change java.ext.dirs;
2013-08-31 wenzelm 2013-08-31 provide ISABELLE_JAVA_SYSTEM_OPTIONS via settings;
2012-08-23 wenzelm 2012-08-23 simplified JVM startup, based on stronger assumptions about the Java version provided as Isabelle component;
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;
2011-10-04 wenzelm 2011-10-04 more explicit check of Java executable -- relevant for Linux x86/x86_64 mismatch and absence on Mac OS Lion;
2011-06-23 wenzelm 2011-06-23 provide Isabelle/Scala environment as Java extension, instead of user classpath (which is subject to adhoc changes);
2011-01-21 wenzelm 2011-01-21 java/scala: default to UTF-8;
2010-12-22 wenzelm 2010-12-22 isabelle java: prefer -server here;
2010-04-20 wenzelm 2010-04-20 recovered isabelle java, which was broken in ebfa4bb0d50f;
2010-04-20 wenzelm 2010-04-20 refer to THIS_JAVA dynamically, and treat ISABELLE_JAVA as static default -- relevant for nested JVM invocation within an existing Isabelle enviroment;
2008-12-20 wenzelm 2008-12-20 removed Ids;
2008-08-16 wenzelm 2008-08-16 removed unused usage;
2008-08-16 wenzelm 2008-08-16 refined scala/java wrappers via isatool;