diff -r 6f47c49fed84 -r 2bb7ec08574a src/Pure/build-jars
--- a/src/Pure/build-jars	Sat Nov 06 16:53:07 2010 +0100
+++ b/src/Pure/build-jars	Sat Nov 06 17:55:32 2010 +0100
@@ -26,6 +26,7 @@
   Concurrent/simple_thread.scala
   Concurrent/volatile.scala
   General/exn.scala
+  General/timing.scala
   General/linear_set.scala
   General/markup.scala
   General/position.scala