--- a/etc/settings Sat Apr 17 19:35:35 2010 +0200
+++ b/etc/settings Sat Apr 17 20:42:26 2010 +0200
@@ -55,7 +55,7 @@
### JVM components (Scala or Java)
###
-ISABELLE_JAVA="java"
+ISABELLE_JAVA="${THIS_JAVA:-java}"
ISABELLE_SCALA="scala"
[ -z "$SCALA_HOME" ] && SCALA_HOME=$(choosefrom \