src/Pure/build-jars

--- a/src/Pure/build-jars	Wed Sep 05 20:36:13 2012 +0200
+++ b/src/Pure/build-jars	Wed Sep 05 20:54:40 2012 +0200
@@ -166,7 +166,7 @@
 
 if [ "$OUTDATED" = true ]
 then
-  echo "### Building Isabelle/Scala layer ..."
+  echo "### Building Isabelle/Scala ..."
 
   [ "${#UPDATED[@]}" -gt 0 ] && {
     echo "Changed files:"