src/Pure/General/file.scala

--- a/src/Pure/General/file.scala	Sun Jul 02 18:56:52 2023 +0200
+++ b/src/Pure/General/file.scala	Sun Jul 02 19:05:59 2023 +0200
@@ -183,7 +183,7 @@
       val options =
         if (follow_links) EnumSet.of(FileVisitOption.FOLLOW_LINKS)
         else EnumSet.noneOf(classOf[FileVisitOption])
-      Files.walkFileTree(start.toPath, options, Integer.MAX_VALUE,
+      Files.walkFileTree(start.toPath, options, Int.MaxValue,
         new SimpleFileVisitor[JPath] {
           override def preVisitDirectory(
             path: JPath,