src/Pure/build-jars

--- a/src/Pure/build-jars	Thu Apr 24 12:09:55 2014 +0200
+++ b/src/Pure/build-jars	Thu Apr 24 12:10:26 2014 +0200
@@ -11,6 +11,7 @@
 declare -a SOURCES=(
   Concurrent/counter.scala
   Concurrent/future.scala
+  Concurrent/mailbox.scala
   Concurrent/simple_thread.scala
   Concurrent/synchronized.scala
   General/antiquote.scala