Index: trunk/src/org/openstreetmap/josm/plugins/PluginDownloader.java
===================================================================
--- trunk/src/org/openstreetmap/josm/plugins/PluginDownloader.java	(revision 506)
+++ trunk/src/org/openstreetmap/josm/plugins/PluginDownloader.java	(revision 507)
@@ -140,7 +140,7 @@
 	}
 
-	private static boolean download(String url, File file) {
+	private static boolean download(URL url, File file) {
 		try {
-			InputStream in = new URL(url).openStream();
+			InputStream in = url.openStream();
 			OutputStream out = new FileOutputStream(file);
 			byte[] buffer = new byte[8192];