--- a/src/Pure/build-jars Sat Sep 07 17:23:05 2013 +0200
+++ b/src/Pure/build-jars Sat Sep 07 17:32:55 2013 +0200
@@ -47,7 +47,6 @@
PIDE/yxml.scala
System/color_value.scala
System/command_line.scala
- System/cygwin_init.scala
System/event_bus.scala
System/gui.scala
System/gui_setup.scala