1.1 --- a/src/Pure/build-jars	Fri Jul 20 22:29:25 2012 +0200
     1.2 +++ b/src/Pure/build-jars	Fri Jul 20 22:39:59 2012 +0200
     1.3 @@ -51,7 +51,6 @@
     1.4    System/options.scala
     1.5    System/platform.scala
     1.6    System/session.scala
     1.7 -  System/session_manager.scala
     1.8    System/standard_system.scala
     1.9    System/swing_thread.scala
    1.10    System/system_channel.scala