src/Pure/Admin/component_sqlite.scala

--- a/src/Pure/Admin/component_sqlite.scala	Wed Jun 14 17:20:05 2023 +0200
+++ b/src/Pure/Admin/component_sqlite.scala	Thu Jun 15 14:28:17 2023 +0200
@@ -72,7 +72,7 @@
         Isabelle_System.copy_file(jar_dir + Path.explode(file), target)
       }
 
-      File.set_executable(component_dir.path + Path.explode("x86_64-windows/sqlitejdbc.dll"), true)
+      File.set_executable(component_dir.path + Path.explode("x86_64-windows/sqlitejdbc.dll"))
     }
   }