changeset 47440 | 22086019167b |
parent 47113 | b5a5662528fb |
child 47745 | de249b5ae6e2 |
--- a/Admin/java/etc/settings Thu Apr 12 19:48:23 2012 +0200 +++ b/Admin/java/etc/settings Thu Apr 12 22:59:00 2012 +0200 @@ -1,4 +1,4 @@ # -*- shell-script -*- :mode=shellscript: -ISABELLE_JDK_HOME="$COMPONENT/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM}/jdk1.7.0_03" +ISABELLE_JDK_HOME="$COMPONENT/jdk1.7.0_03"