src/Pure/General/url.scala

     exn.isInstanceOf[URISyntaxException] ||
     exn.isInstanceOf[IllegalArgumentException]
 
   def apply(uri: URI): Url = new Url(uri)
 
-  def apply(name: String): Url = {
-    val uri =
-      try { new URI(name) }
-      catch {
-        case exn: Throwable if is_malformed(exn) => error("Malformed URL " + quote(name))
-      }
-    Url(uri)
-  }
+  def apply(name: String): Url =
+    try { new Url(new URI(name)) }
+    catch {
+      case exn: Throwable if is_malformed(exn) => error("Malformed URL " + quote(name))
+    }
 
   def is_wellformed(name: String): Boolean =
     try { Url(name); true }
     catch { case ERROR(_) => false }
 

     }
 
   def resolve(route: String): Url =
     if (route.isEmpty) this else new Url(uri.resolve(route))
 
-  def java_url: java.net.URL = uri.toURL
+  val java_url: java.net.URL = uri.toURL
   def open_stream(): InputStream = java_url.openStream()
   def open_connection(): URLConnection = java_url.openConnection()
 }