diff -r d6f8f3bfe329 -r d6cd15601d8a etc/settings
--- a/etc/settings	Fri Jul 03 00:15:59 2009 +0200
+++ b/etc/settings	Fri Jul 03 10:54:26 2009 +0200
@@ -70,9 +70,10 @@
 ISABELLE_SCALA="scala"
 
 [ -z "$SCALA_HOME" ] && SCALA_HOME=$(choosefrom \
-  "$ISABELLE_HOME/contrib/scala"
-  "$ISABELLE_HOME/../scala"
+  "$ISABELLE_HOME/contrib/scala" \
+  "$ISABELLE_HOME/../scala" \
   "")
+
 [ -n "$SCALA_HOME" ] && ISABELLE_SCALA="$SCALA_HOME/bin/scala"
 
 classpath "$ISABELLE_HOME/lib/classes/Pure.jar"