src/Pure/build-jars

--- a/src/Pure/build-jars	Mon Jan 11 23:11:31 2010 +0100
+++ b/src/Pure/build-jars	Mon Jan 11 23:41:06 2010 +0100
@@ -84,7 +84,7 @@
 if [ "$OUTDATED" = true ]
 then
   echo "###"
-  echo "### Building Isabelle/Scala components ..."
+  echo "### Building Isabelle/Scala layer ..."
   echo "###"
 
   rm -rf classes && mkdir classes