--- a/etc/settings Tue Apr 20 06:53:50 2010 +0200
+++ b/etc/settings Tue Apr 20 11:26:25 2010 +0200
@@ -55,7 +55,7 @@
### JVM components (Scala or Java)
###
-ISABELLE_JAVA="${THIS_JAVA:-java}"
+ISABELLE_JAVA="java"
ISABELLE_SCALA="scala"
[ -z "$SCALA_HOME" ] && SCALA_HOME=$(choosefrom \