diff -r 640c2b957f16 -r 5b8d39b1360e etc/settings
--- a/etc/settings	Sun Sep 18 00:05:22 2011 +0200
+++ b/etc/settings	Sun Sep 18 12:48:45 2011 +0200
@@ -56,8 +56,6 @@
 
 if [ -n "$JAVA_HOME" ]; then
   ISABELLE_JAVA="$JAVA_HOME/bin/java"
-elif [ -x /usr/libexec/java_home ]; then
-  ISABELLE_JAVA="$(/usr/libexec/java_home -v 1.6)"/bin/java
 else
   ISABELLE_JAVA="java"
 fi