Index: JOSM/src/org/openstreetmap/josm/plugins/PluginInformation.java
===================================================================
---JOSM/src/org/openstreetmap/josm/plugins/PluginInformation.java	(revision 296)
+++ JOSM/src/org/openstreetmap/josm/plugins/PluginInformation.java	(working copy)
@@ -110,7 +110,7 @@
 				author = null;
 			}
 			if (file != null)
-				libraries.add(0, new URL(getURLString(file.getAbsolutePath())));
+				libraries.add(0, file.toURI().toURL());
 
 			if (jar != null)
 				jar.close();
@@ -145,6 +145,7 @@
 		}
 	}
 
+	@Deprecated
 	public static String getURLString(String fileName) {
 		if (System.getProperty("os.name").startsWith("Windows"))
 			return "file:/"+fileName;
