Index: trunk/src/org/openstreetmap/josm/io/imagery/ImageryReader.java
===================================================================
--- trunk/src/org/openstreetmap/josm/io/imagery/ImageryReader.java	(revision 4310)
+++ trunk/src/org/openstreetmap/josm/io/imagery/ImageryReader.java	(revision 4313)
@@ -101,5 +101,5 @@
             Utils.close(in);
         }
-        Main.warn(tr("Warning: Could not detect type of imagery source '{0}'. Using default (xml).", source));
+        Main.warn(tr("Warning: Could not detect type of imagery source ''{0}''. Using default (xml).", source));
         return true;
     }