src/Pure/Admin/component_jcef.scala

--- a/src/Pure/Admin/component_jcef.scala	Tue Feb 11 13:09:18 2025 +0100
+++ b/src/Pure/Admin/component_jcef.scala	Tue Feb 11 23:31:12 2025 +0100
@@ -72,7 +72,7 @@
             file <- File.find_files(platform_dir.file).iterator
             name = file.getName
             if File.is_dll(name) || File.is_exe(name)
-          } File.set_executable(File.path(file), true)
+          } File.set_executable(File.path(file))
 
           val classpath =
             File.find_files(platform_dir.file, pred = file => File.is_jar(file.getName))