Admin/java/README
Thu, 12 Apr 2012 23:04:51 +0200 wenzelm tuned README;
Sat, 24 Mar 2012 20:24:16 +0100 wenzelm ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE);
Sun, 28 Nov 2010 18:31:54 +0100 wenzelm basic setup for bundled Java runtime;
less more (0) tip