--- a/src/Pure/build-jars Tue Sep 11 20:22:03 2012 +0200
+++ b/src/Pure/build-jars Tue Sep 11 22:54:12 2012 +0200
@@ -41,6 +41,7 @@
PIDE/xml.scala
PIDE/yxml.scala
System/build.scala
+ System/color_value.scala
System/command_line.scala
System/event_bus.scala
System/gui_setup.scala