Index: trunk/src/org/openstreetmap/josm/io/MirroredInputStream.java
===================================================================
--- trunk/src/org/openstreetmap/josm/io/MirroredInputStream.java	(revision 3040)
+++ trunk/src/org/openstreetmap/josm/io/MirroredInputStream.java	(revision 3041)
@@ -102,5 +102,8 @@
             }
         } catch (Exception e) {
-            System.err.println(tr("Warning: failed to open file with extension ''{2}'' and namepart ''{3}'' in zip file ''{0}''. Exception was: {1}", file.getName(), e.toString(), extension, namepart));
+            if(file.getName().endsWith(".zip")) {
+                System.err.println(tr("Warning: failed to open file with extension ''{2}'' and namepart ''{3}'' in zip file ''{0}''. Exception was: {1}",
+                file.getName(), e.toString(), extension, namepart));
+            }
         }
         return res;