src/Pure/build-jars

--- a/src/Pure/build-jars	Wed Sep 21 17:50:25 2011 +0200
+++ b/src/Pure/build-jars	Wed Sep 21 20:35:50 2011 +0200
@@ -49,6 +49,7 @@
   System/session_manager.scala
   System/standard_system.scala
   System/swing_thread.scala
+  System/system_channel.scala
   Thy/completion.scala
   Thy/html.scala
   Thy/thy_header.scala