1.1 --- a/src/Pure/build-jars	Fri Jul 20 22:39:59 2012 +0200
     1.2 +++ b/src/Pure/build-jars	Fri Jul 20 23:16:54 2012 +0200
     1.3 @@ -14,6 +14,7 @@
     1.4    Concurrent/simple_thread.scala
     1.5    Concurrent/volatile.scala
     1.6    General/exn.scala
     1.7 +  General/file.scala
     1.8    General/graph.scala
     1.9    General/linear_set.scala
    1.10    General/path.scala