src/Pure/Admin/build_jdk.scala

           .headOption.getOrElse(error("Failed to detect JDK platform"))
 
       val platform_dir = dir + platform.platform_path
       if (platform_dir.is_dir) error("Directory already exists: " + platform_dir)
 
-      File.move(jdk_dir, platform_dir)
+      Isabelle_System.move_file(jdk_dir, platform_dir)
 
       platform
     }
     catch { case ERROR(msg) => cat_error(msg, "The error(s) above occurred for " + archive) }
   }

 
         Isabelle_System.make_directory(component_dir + Path.explode("etc"))
         File.write(Components.settings(component_dir), settings)
         File.write(component_dir + Path.explode("README"), readme(jdk_version))
 
-        for (platform <- platforms) File.move(dir + platform.platform_path, component_dir)
+        for (platform <- platforms) {
+          Isabelle_System.move_file(dir + platform.platform_path, component_dir)
+        }
 
         for (file <- File.find_files(component_dir.file, include_dirs = true)) {
           val path = file.toPath
           val perms = Files.getPosixFilePermissions(path)
           perms.add(PosixFilePermission.OWNER_READ)