diff -r cfb21e03fe2a -r d64a4ef26edb src/Pure/build-jars --- a/src/Pure/build-jars Thu Dec 05 17:52:12 2013 +0100 +++ b/src/Pure/build-jars Thu Dec 05 17:58:03 2013 +0100 @@ -13,6 +13,7 @@ Concurrent/future.scala Concurrent/simple_thread.scala Concurrent/volatile.scala + General/bytes.scala General/exn.scala General/file.scala General/graph.scala