src/Pure/Admin/build_scala.scala

--- a/src/Pure/Admin/build_scala.scala	Fri Apr 01 11:51:42 2022 +0200
+++ b/src/Pure/Admin/build_scala.scala	Fri Apr 01 17:06:10 2022 +0200
@@ -7,8 +7,7 @@
 package isabelle
 
 
-object Build_Scala
-{
+object Build_Scala {
   /* downloads */
 
   sealed case class Download(
@@ -16,8 +15,8 @@
     version: String,
     url: String,
     physical_url: String = "",
-    base_version: String = "3")
-  {
+    base_version: String = "3"
+  ) {
     def make_url(template: String): String =
       template.replace("{V}", version).replace("{B}", base_version)
 
@@ -30,8 +29,7 @@
       Isabelle_System.download_file(proper_url, path, progress = progress)
 
     def get_unpacked(dir: Path, strip: Int = 0, progress: Progress = new Progress): Unit =
-      Isabelle_System.with_tmp_file("archive")(archive_path =>
-      {
+      Isabelle_System.with_tmp_file("archive")(archive_path => {
         get(archive_path, progress = progress)
         progress.echo("Unpacking " + artifact)
         Isabelle_System.gnutar("-xzf " + File.bash_path(archive_path),
@@ -68,8 +66,8 @@
 
   def build_scala(
     target_dir: Path = Path.current,
-    progress: Progress = new Progress): Unit =
-  {
+    progress: Progress = new Progress
+  ): Unit = {
     /* component */
 
     val component_name = main_download.name + "-" + main_download.version
@@ -91,8 +89,7 @@
 
     /* classpath */
 
-    val classpath: List[String] =
-    {
+    val classpath: List[String] = {
       def no_function(name: String): String = "function " + name + "() {\n:\n}"
       val script =
         cat_lines(List(
@@ -142,8 +139,7 @@
 
   val isabelle_tool =
     Isabelle_Tool("build_scala", "build Isabelle Scala component from official downloads",
-      Scala_Project.here, args =>
-    {
+      Scala_Project.here, args => {
       var target_dir = Path.current
 
       val getopts = Getopts("""