diff -r 11c1bf92d61d -r 3e578ddef85d src/Pure/build-jars
--- a/src/Pure/build-jars	Tue Sep 29 18:39:55 2015 +0200
+++ b/src/Pure/build-jars	Tue Sep 29 23:43:35 2015 +0200
@@ -74,6 +74,7 @@
   PIDE/xml.scala
   PIDE/yxml.scala
   ROOT.scala
+  System/cygwin.scala
   System/command_line.scala
   System/invoke_scala.scala
   System/isabelle_charset.scala