--- a/src/Pure/System/cygwin.scala Tue Jan 05 13:41:29 2016 +0100
+++ b/src/Pure/System/cygwin.scala Tue Jan 05 13:48:51 2016 +0100
@@ -1,4 +1,4 @@
-/* Title: Pure/Tools/cygwin.scala
+/* Title: Pure/System/cygwin.scala
Author: Makarius
Cygwin as POSIX emulation on Windows.