--- a/src/Pure/build-jars Sun Jul 07 20:23:09 2013 +0200
+++ b/src/Pure/build-jars Sun Jul 07 22:58:34 2013 +0200
@@ -42,6 +42,7 @@
PIDE/yxml.scala
System/color_value.scala
System/command_line.scala
+ System/cygwin.scala
System/event_bus.scala
System/gui.scala
System/gui_setup.scala