--- a/src/Pure/build-jars Mon Dec 31 13:49:01 2012 +0100
+++ b/src/Pure/build-jars Mon Dec 31 14:58:21 2012 +0100
@@ -54,7 +54,6 @@
System/options.scala
System/platform.scala
System/session.scala
- System/standard_system.scala
System/swing_thread.scala
System/system_channel.scala
System/utf8.scala