src/Pure/Admin/build_jedit.scala

     java_home: Path = default_java_home,
     progress: Progress = new Progress
   ): Unit = {
     Isabelle_System.require_command("ant", test = "-version")
     Isabelle_System.require_command("patch")
-    Isabelle_System.require_command("unzip", test = "-h")
 
     val component_dir = Components.Directory.create(component_path, progress = progress)
 
 
     /* jEdit directory */

       Isabelle_System.with_tmp_file("tmp", ext = "zip") { zip_path =>
         val url =
           "https://sourceforge.net/projects/jedit-plugins/files/" + name + "/" + vers + "/" +
             name + "-" + vers + "-bin.zip/download"
         Isabelle_System.download_file(url, zip_path, progress = progress)
-        Isabelle_System.bash("unzip -x " + File.bash_path(zip_path), cwd = jars_dir.file).check
+        Isabelle_System.extract(zip_path, jars_dir)
       }
     }
 
 
     /* resources */