--- a/src/Pure/build-jars Thu Jul 19 11:54:19 2012 +0200
+++ b/src/Pure/build-jars Thu Jul 19 12:05:54 2012 +0200
@@ -40,6 +40,7 @@
PIDE/xml.scala
PIDE/yxml.scala
System/build.scala
+ System/command_line.scala
System/event_bus.scala
System/gui_setup.scala
System/invoke_scala.scala