src/Tools/jEdit/src/jedit_lib.scala

 
   def load_icon(name: String): Icon =
   {
     val name1 =
       if (name.startsWith("idea-icons/")) {
-        val file = File.platform_url(Path.explode("$JEDIT_HOME/dist/jars/idea-icons.jar"))
+        val file = Url.platform_file(Path.explode("$JEDIT_HOME/dist/jars/idea-icons.jar"))
         "jar:" + file + "!/" + name
       }
       else name
     val icon = GUIUtilities.loadIcon(name1)
     if (icon.getIconWidth < 0 || icon.getIconHeight < 0) error("Bad icon: " + name)