1.1 --- a/Admin/java/etc/settings	Mon Mar 26 11:15:41 2012 +0200
     1.2 +++ b/Admin/java/etc/settings	Sat Mar 24 20:24:16 2012 +0100
     1.3 @@ -1,2 +1,4 @@
     1.4 -JAVA_HOME="$COMPONENT/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM}/jre1.6.0_22"
     1.5 -ISABELLE_JAVA="$JAVA_HOME/bin/java"
     1.6 +# -*- shell-script -*- :mode=shellscript:
     1.7 +
     1.8 +ISABELLE_JDK_HOME="$COMPONENT/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM}/jdk1.7.0_03"
     1.9 +