src/Pure/Admin/build_sqlite.scala

--- a/src/Pure/Admin/build_sqlite.scala	Sat Feb 27 17:33:40 2021 +0100
+++ b/src/Pure/Admin/build_sqlite.scala	Sat Feb 27 18:04:29 2021 +0100
@@ -73,7 +73,7 @@
 
       for ((file, dir) <- jar_files) {
         val target = Isabelle_System.make_directory(component_dir + Path.explode(dir))
-        File.copy(jar_dir + Path.explode(file), target)
+        Isabelle_System.copy_file(jar_dir + Path.explode(file), target)
       }
 
       File.set_executable(component_dir + Path.explode("x86_64-windows/sqlitejdbc.dll"), true)