1.1 --- a/src/Pure/build-jars	Thu May 24 23:28:58 2012 +0200
     1.2 +++ b/src/Pure/build-jars	Thu May 24 23:44:16 2012 +0200
     1.3 @@ -39,7 +39,6 @@
     1.4    PIDE/text.scala
     1.5    PIDE/xml.scala
     1.6    PIDE/yxml.scala
     1.7 -  System/cygwin.scala
     1.8    System/event_bus.scala
     1.9    System/gui_setup.scala
    1.10    System/invoke_scala.scala