diff -r 085f31ae902d -r 2fd070377c99 src/Pure/General/file.scala
--- a/src/Pure/General/file.scala	Tue Nov 13 20:57:54 2018 +0100
+++ b/src/Pure/General/file.scala	Wed Nov 14 11:51:03 2018 +0100
@@ -151,7 +151,7 @@
     start: JFile,
     pred: JFile => Boolean = _ => true,
     include_dirs: Boolean = false,
-    follow_links: Boolean = true): List[JFile] =
+    follow_links: Boolean = false): List[JFile] =
   {
     val result = new mutable.ListBuffer[JFile]
     def check(file: JFile) { if (pred(file)) result += file }