src/Pure/build-jars

--- a/src/Pure/build-jars	Mon Jul 15 20:36:27 2013 +0200
+++ b/src/Pure/build-jars	Mon Jul 15 22:11:36 2013 +0200
@@ -42,7 +42,7 @@
   PIDE/yxml.scala
   System/color_value.scala
   System/command_line.scala
-  System/cygwin.scala
+  System/cygwin_init.scala
   System/event_bus.scala
   System/gui.scala
   System/gui_setup.scala