diff -r 27137425b102 -r ebfa4bb0d50f etc/settings
--- 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 \