diff -r 660ffb526069 -r 535d59d4ed12 src/Pure/build-jars
--- a/src/Pure/build-jars	Wed Apr 23 17:57:56 2014 +0200
+++ b/src/Pure/build-jars	Thu Apr 24 00:27:06 2014 +0200
@@ -12,6 +12,7 @@
   Concurrent/counter.scala
   Concurrent/future.scala
   Concurrent/simple_thread.scala
+  Concurrent/synchronized.scala
   Concurrent/volatile.scala
   General/antiquote.scala
   General/bytes.scala