Admin/java/README
Wed, 25 Apr 2012 14:24:27 +0200 wenzelm back to mature jdk1.6.0_31, to avoid issues like Sidekick TAB completion and generic ListCellRenderer;
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