--- a/src/Pure/build-jars Fri Jan 18 20:31:22 2013 +0100
+++ b/src/Pure/build-jars Fri Jan 18 22:31:57 2013 +0100
@@ -65,6 +65,7 @@
Tools/build.scala
Tools/build_dialog.scala
Tools/main.scala
+ Tools/task_statistics.scala
library.scala
package.scala
term.scala