src/Pure/Admin/build_scala.scala

 */
 
 package isabelle
 
 
-object Build_Scala
-{
+object Build_Scala {
   /* downloads */
 
   sealed case class Download(
     name: String,
     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)
 
     def proper_url: String = make_url(proper_string(physical_url).getOrElse(url))
 

 
     def get(path: Path, progress: Progress = new Progress): Unit =
       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),
           dir = dir, strip = strip).check
       })

 
   /* build Scala component */
 
   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
     val component_dir = Isabelle_System.new_directory(target_dir + Path.basic(component_name))
     progress.echo("Component " + component_dir)

       Url.read(Url("https://www.apache.org/licenses/LICENSE-2.0.txt")))
 
 
     /* classpath */
 
-    val classpath: List[String] =
-    {
+    val classpath: List[String] = {
       def no_function(name: String): String = "function " + name + "() {\n:\n}"
       val script =
         cat_lines(List(
           no_function("stty"),
           no_function("tput"),

 
   /* Isabelle tool wrapper */
 
   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("""
 Usage: isabelle build_scala [OPTIONS]