src/Pure/Admin/build_jedit.scala

 import java.nio.charset.Charset
 
 import scala.jdk.CollectionConverters._
 
 
-object Build_JEdit
-{
+object Build_JEdit {
   /* modes */
 
-  object Mode
-  {
+  object Mode {
     val empty: Mode = new Mode("", "", Nil)
 
     val init: Mode =
       empty +
         ("noWordSep" -> """_'?⇩\^<>""") +
         ("unalignedOpenBrackets" -> "{[(«‹⟨⌈⌊⦇⟦⦃⦉") +
         ("unalignedCloseBrackets" -> "⦊⦄⟧⦈⌋⌉⟩›»)]}") +
         ("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 =
         init.define("isabelle", "Isabelle theory") +
           ("commentStart" -> "(*") +

 
       List(isabelle_news, isabelle, isabelle_ml, isabelle_root, isabelle_options, sml)
     }
   }
 
-  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)
 
     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 =
         rev_props.reverse.map(p =>
           Symbol.spaces(4) +

   def build_jedit(
     component_dir: Path,
     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")
 
     Isabelle_System.new_directory(component_dir)

     val jedit_patched = jedit + "-patched"
 
     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/" +
           version + "/" + jedit_name + "/download"
       val path = dir + Path.basic(proper_string(target_name) getOrElse jedit_name)
       Isabelle_System.download_file(url, path, progress = progress)
       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")
       Isabelle_System.bash("""export CLASSPATH=""
 isabelle_java java -Duser.home=""" + File.bash_platform_path(tmp_dir) +

     for { (url, name) <- download_jars } {
       Isabelle_System.download_file(url, jars_dir + Path.basic(name), progress = progress)
     }
 
     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"
         Isabelle_System.download_file(url, zip_path, progress = progress)
         Isabelle_System.bash("unzip -x " + File.bash_path(zip_path), cwd = jars_dir.file).check

   val default_version = "5.6.0"
   def default_java_home: Path = Path.explode("$JAVA_HOME").expand
 
   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
       var version = default_version