Index: trunk/src/org/openstreetmap/josm/Main.java
===================================================================
--- trunk/src/org/openstreetmap/josm/Main.java	(revision 8795)
+++ trunk/src/org/openstreetmap/josm/Main.java	(revision 8799)
@@ -1136,5 +1136,5 @@
      * @see #paramType
      */
-    private enum DownloadParamType { httpUrl, fileUrl, bounds, fileName }
+    enum DownloadParamType { httpUrl, fileUrl, bounds, fileName }
 
     /**
@@ -1143,9 +1143,9 @@
      * @return The guessed parameter type
      */
-    private static DownloadParamType paramType(String s) {
+    static DownloadParamType paramType(String s) {
         if (s.startsWith("http:") || s.startsWith("https:")) return DownloadParamType.httpUrl;
         if (s.startsWith("file:")) return DownloadParamType.fileUrl;
         String coorPattern = "\\s*[+-]?[0-9]+(\\.[0-9]+)?\\s*";
-        if (s.matches(coorPattern+"(,"+coorPattern+") {3}")) return DownloadParamType.bounds;
+        if (s.matches(coorPattern+"(,"+coorPattern+"){3}")) return DownloadParamType.bounds;
         // everything else must be a file name
         return DownloadParamType.fileName;