--- a/src/Pure/Admin/component_jedit.scala	Sat Aug 30 12:45:27 2025 +0200
+++ b/src/Pure/Admin/component_jedit.scala	Sat Aug 30 13:07:29 2025 +0200
@@ -175,8 +175,8 @@
         name = file.getName
         if !File.is_backup(name)
       } {
-        progress.bash("patch -p2 < " + File.bash_path(File.path(file)),
-          cwd = source_dir, echo = progress.verbose).check
+        val patch = File.read(File.path(file))
+        Isabelle_System.apply_patch(source_dir, patch, strip = 2, progress = progress)
       }
 
       progress.echo("Augmenting icons ...")