Index: trunk/src/org/openstreetmap/josm/data/imagery/ImageryInfo.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/imagery/ImageryInfo.java	(revision 11570)
+++ trunk/src/org/openstreetmap/josm/data/imagery/ImageryInfo.java	(revision 11571)
@@ -188,5 +188,5 @@
     /** country code of the imagery (for country specific imagery) */
     private String countryCode = "";
-    /** 
+    /**
       * creation date of the imagery (in the form YYYY-MM-DD;YYYY-MM-DD, where
       * DD and MM as well as a second date are optional)
@@ -1192,8 +1192,8 @@
                    n.setTileSize(i.getTileSize());
                }
-               if(n.id != null) {
+               if (n.id != null) {
                    n.id = n.id + "_mirror"+num;
                }
-               if(num > 1) {
+               if (num > 1) {
                    n.name = tr("{0} mirror server {1}", n.name, num);
                    n.origName += " mirror server " + num;