src/Pure/General/url.scala

--- a/src/Pure/General/url.scala	Wed Jan 27 14:09:58 2016 +0100
+++ b/src/Pure/General/url.scala	Wed Jan 27 14:14:06 2016 +0100
@@ -12,6 +12,9 @@
 
 object Url
 {
+  def escape(name: String): String =
+    (for (c <- name.iterator) yield if (c == '\'') "%27" else new String(Array(c))).mkString
+
   def apply(name: String): URL =
   {
     try { new URL(name) }