etc/settings

--- a/etc/settings	Tue Nov 16 21:54:52 2010 +0100
+++ b/etc/settings	Tue Nov 16 22:13:54 2010 +0100
@@ -55,7 +55,11 @@
 ### JVM components (Scala or Java)
 ###
 
-ISABELLE_JAVA="java"
+if [ -n "$JAVA_HOME" ]; then
+  ISABELLE_JAVA="$JAVA_HOME/bin/java"
+else
+  ISABELLE_JAVA="java"
+fi
 
 classpath "$ISABELLE_HOME/lib/classes/Pure.jar"