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