diff -r 4dbf67cfc0bd -r bff32e50fe14 src/Pure/Admin/component_jedit.scala
--- a/src/Pure/Admin/component_jedit.scala	Sat Feb 15 00:20:02 2025 +0100
+++ b/src/Pure/Admin/component_jedit.scala	Sat Feb 15 14:00:24 2025 +0100
@@ -150,7 +150,7 @@
       Isabelle_System.copy_dir(jedit_dir, jedit_patched_dir)
 
       val source_dir = jedit_patched_dir + Path.basic("jEdit")
-      val org_source_dir = source_dir + Path.basic("org")
+      val source_org_dir = source_dir + Path.basic("org")
       val tmp_source_dir = tmp_dir + Path.basic("jEdit")
 
       progress.echo("Patching jEdit sources ...")
@@ -176,7 +176,7 @@
 
       val java_sources =
         (for {
-          file <- File.find_files(org_source_dir.file, file => File.is_java(file.getName))
+          file <- File.find_files(source_org_dir.file, file => File.is_java(file.getName))
           package_name <- Scala_Project.package_name(File.path(file))
           if !exclude_package(package_name)
         } yield File.path(component_path.java_path.relativize(file.toPath).toFile).implode).sorted