Admin/java/settings

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/java/settings	Wed Jun 27 13:56:34 2012 +0200
@@ -0,0 +1,10 @@
+# -*- 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