src/Pure/build-jars
2010-01-06 wenzelm 2010-01-06 tuned Isabelle/Scala build;