Index: trunk/src/org/openstreetmap/josm/Main.java
===================================================================
--- trunk/src/org/openstreetmap/josm/Main.java	(revision 5194)
+++ trunk/src/org/openstreetmap/josm/Main.java	(revision 5195)
@@ -328,6 +328,9 @@
 
         try {
-            Executors.newFixedThreadPool(Runtime.getRuntime().availableProcessors()).invokeAll(tasks);
-        } catch (InterruptedException ex) {
+            for (Future<Void> i : Executors.newFixedThreadPool(
+                    Runtime.getRuntime().availableProcessors()).invokeAll(tasks)) {
+                i.get();
+            }
+        } catch (Exception ex) {
             throw new RuntimeException(ex);
         }
@@ -624,5 +627,5 @@
     /**
      * The type of a command line parameter, to be used in switch statements.
-     * @see paramType
+     * @see #paramType
      */
     private enum DownloadParamType { httpUrl, fileUrl, bounds, fileName }
@@ -681,6 +684,6 @@
      * @param rawGps Flag to download raw GPS tracks
      * @param b The bounds value
-     * @see downloadFromParamBounds(final boolean rawGps, String s)
-     * @see downloadFromParamHttp
+     * @see #downloadFromParamBounds(boolean, String)
+     * @see #downloadFromParamHttp
      */
     private static void downloadFromParamBounds(final boolean rawGps, Bounds b) {