src/Pure/Admin/build_jedit.scala

--- a/src/Pure/Admin/build_jedit.scala	Fri Apr 01 11:51:42 2022 +0200
+++ b/src/Pure/Admin/build_jedit.scala	Fri Apr 01 17:06:10 2022 +0200
@@ -12,12 +12,10 @@
 import scala.jdk.CollectionConverters._
 
 
-object Build_JEdit
-{
+object Build_JEdit {
   /* modes */
 
-  object Mode
-  {
+  object Mode {
     val empty: Mode = new Mode("", "", Nil)
 
     val init: Mode =
@@ -28,8 +26,7 @@
         ("tabSize" -> "2") +
         ("indentSize" -> "2")
 
-    val list: List[Mode] =
-    {
+    val list: List[Mode] = {
       val isabelle_news: Mode = init.define("isabelle-news", "Isabelle NEWS")
 
       val isabelle: Mode =
@@ -53,8 +50,7 @@
     }
   }
 
-  final case class Mode private(name: String, description: String, rev_props: Properties.T)
-  {
+  final case class Mode private(name: String, description: String, rev_props: Properties.T) {
     override def toString: String = name
 
     def define(a: String, b: String): Mode = new Mode(a, b, rev_props)
@@ -62,8 +58,7 @@
     def + (entry: Properties.Entry): Mode =
       new Mode(name, description, Properties.put(rev_props, entry))
 
-    def write(dir: Path): Unit =
-    {
+    def write(dir: Path): Unit = {
       require(name.nonEmpty && description.nonEmpty, "Bad Isabelle/jEdit mode content")
 
       val properties =
@@ -112,8 +107,8 @@
     version: String,
     original: Boolean = false,
     java_home: Path = default_java_home,
-    progress: Progress = new Progress): Unit =
-  {
+    progress: Progress = new Progress
+  ): Unit = {
     Isabelle_System.require_command("ant", test = "-version")
     Isabelle_System.require_command("patch")
     Isabelle_System.require_command("unzip", test = "-h")
@@ -131,8 +126,7 @@
     val jedit_dir = Isabelle_System.make_directory(component_dir + Path.basic(jedit))
     val jedit_patched_dir = component_dir + Path.basic(jedit_patched)
 
-    def download_jedit(dir: Path, name: String, target_name: String = ""): Path =
-    {
+    def download_jedit(dir: Path, name: String, target_name: String = ""): Path = {
       val jedit_name = jedit + name
       val url =
         "https://sourceforge.net/projects/jedit/files/jedit/" +
@@ -142,8 +136,7 @@
       path
     }
 
-    Isabelle_System.with_tmp_dir("tmp")(tmp_dir =>
-    {
+    Isabelle_System.with_tmp_dir("tmp")(tmp_dir => {
       /* original version */
 
       val install_path = download_jedit(tmp_dir, "install.jar")
@@ -210,8 +203,7 @@
     }
 
     for { (name, vers) <- download_plugins } {
-      Isabelle_System.with_tmp_file("tmp", ext = "zip")(zip_path =>
-      {
+      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"
@@ -519,8 +511,7 @@
 
   val isabelle_tool =
     Isabelle_Tool("build_jedit", "build Isabelle component from the jEdit text-editor",
-      Scala_Project.here, args =>
-    {
+      Scala_Project.here, args => {
       var target_dir = Path.current
       var java_home = default_java_home
       var original = false