diff --git a/mozilla/java/plugins/classes/org/mozilla/pluglet/PlugletLoader.java b/mozilla/java/plugins/classes/org/mozilla/pluglet/PlugletLoader.java index 9d8fcc2fe41..968e6eaa4bd 100644 --- a/mozilla/java/plugins/classes/org/mozilla/pluglet/PlugletLoader.java +++ b/mozilla/java/plugins/classes/org/mozilla/pluglet/PlugletLoader.java @@ -40,9 +40,9 @@ public class PlugletLoader { public static PlugletFactory getPluglet(String path) { try { org.mozilla.util.DebugPluglet.print("-- PlugletLoader.getPluglet("+path+")\n"); - URL url = new URL("file://"+path); + URL url = new URL("file:"+path); URLClassLoader loader = URLClassLoader.newInstance(new URL[]{url}); - URL manifestURL = new URL("jar:file://"+path+"!/META-INF/MANIFEST.MF"); + URL manifestURL = new URL("jar:file:"+path+"!/META-INF/MANIFEST.MF"); InputStream inputStream = manifestURL.openStream(); Manifest manifest = new Manifest(inputStream); Attributes attr = manifest.getMainAttributes(); @@ -82,7 +82,7 @@ public class PlugletLoader { public static String getMIMEDescription(String path) { try { org.mozilla.util.DebugPluglet.print("-- PlugletLoader.getMIMEDescription("+path+")\n"); - URL manifestURL = new URL("jar:file://"+path+"!/META-INF/MANIFEST.MF"); + URL manifestURL = new URL("jar:file:"+path+"!/META-INF/MANIFEST.MF"); InputStream inputStream = manifestURL.openStream(); Manifest manifest = new Manifest(inputStream); Attributes attr = manifest.getMainAttributes();