src/Pure/General/url.scala

 import java.net.{URI, URISyntaxException, URL, MalformedURLException, URLDecoder, URLEncoder}
 import java.util.Locale
 import java.util.zip.GZIPInputStream
 
 
-object Url
-{
+object Url {
   /* special characters */
 
   def escape_special(c: Char): String =
     if ("!#$&'()*+,/:;=?@[]".contains(c)) {
       String.format(Locale.ROOT, "%%%02X", Integer.valueOf(c.toInt))

     name.iterator.map({ case '\'' => "%27" case c => c.toString }).mkString
 
 
   /* make and check URLs */
 
-  def apply(name: String): URL =
-  {
+  def apply(name: String): URL = {
     try { new URL(name) }
     catch { case _: MalformedURLException => error("Malformed URL " + quote(name)) }
   }
 
   def is_wellformed(name: String): Boolean =

   /* file name */
 
   def file_name(url: URL): String =
     Library.take_suffix[Char](c => c != '/' && c != '\\', url.getFile.toString.toList)._2.mkString
 
-  def trim_index(url: URL): URL =
-  {
+  def trim_index(url: URL): URL = {
     Library.try_unprefix("/index.html", url.toString) match {
       case Some(u) => Url(u)
       case None =>
         Library.try_unprefix("/index.php", url.toString) match {
           case Some(u) => Url(u)