diff -r 45d0e40b07af -r 3a9721d4ccae Admin/java/settings
--- a/Admin/java/settings	Wed Aug 15 23:06:17 2012 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,10 +0,0 @@
-# -*- shell-script -*- :mode=shellscript:
-
-case "$ISABELLE_PLATFORM" in
-  *-darwin)
-    ISABELLE_JDK_HOME="$(/usr/libexec/java_home -v 1.6)"
-    ;;
-  *)
-    ISABELLE_JDK_HOME="$COMPONENT/${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM}/jdk1.6.0_31"
-    ;;
-esac