--- 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