Index: trunk/src/org/openstreetmap/josm/gui/preferences/server/OverpassServerPreference.java
===================================================================
--- trunk/src/org/openstreetmap/josm/gui/preferences/server/OverpassServerPreference.java	(revision 9251)
+++ trunk/src/org/openstreetmap/josm/gui/preferences/server/OverpassServerPreference.java	(revision 9252)
@@ -1,2 +1,3 @@
+// License: GPL. For details, see LICENSE file.
 package org.openstreetmap.josm.gui.preferences.server;
 
Index: trunk/src/org/openstreetmap/josm/tools/ImageResource.java
===================================================================
--- trunk/src/org/openstreetmap/josm/tools/ImageResource.java	(revision 9251)
+++ trunk/src/org/openstreetmap/josm/tools/ImageResource.java	(revision 9252)
@@ -164,9 +164,9 @@
             realHeight = svg.getHeight();
             /* extend small images to the possible maximum, may get reduced later again */
-            if(maxSize.width != -1 && realWidth < maxSize.width) {
+            if (maxSize.width != -1 && realWidth < maxSize.width) {
                 realHeight *= maxSize.width/realWidth;
                 realWidth = maxSize.width;
             }
-            if(maxSize.height != -1 && realHeight < maxSize.height) {
+            if (maxSize.height != -1 && realHeight < maxSize.height) {
                 realWidth *= maxSize.height/realHeight;
                 realHeight = maxSize.height;