Index: trunk/src/org/openstreetmap/josm/data/imagery/AbstractWMSTileSource.java
===================================================================
--- trunk/src/org/openstreetmap/josm/data/imagery/AbstractWMSTileSource.java	(revision 11674)
+++ trunk/src/org/openstreetmap/josm/data/imagery/AbstractWMSTileSource.java	(revision 11675)
@@ -29,5 +29,5 @@
     private int[] tileYMax;
     private double[] degreesPerTile;
-    private static final float SCALE_DENOMINATOR_ZOOM_LEVEL_1 = 559082264.0287178f;
+    private static final double SCALE_DENOMINATOR_ZOOM_LEVEL_1 = 559082264.0287178d;
 
     /**
Index: trunk/src/org/openstreetmap/josm/gui/dialogs/properties/TagEditHelper.java
===================================================================
--- trunk/src/org/openstreetmap/josm/gui/dialogs/properties/TagEditHelper.java	(revision 11674)
+++ trunk/src/org/openstreetmap/josm/gui/dialogs/properties/TagEditHelper.java	(revision 11675)
@@ -1080,6 +1080,11 @@
         private void refreshRecentTags() {
             switch (PROPERTY_REFRESH_RECENT.get()) {
-                case REFRESH: cacheRecentTags(); // break missing intentionally
-                case STATUS: suggestRecentlyAddedTags(); break;
+                case REFRESH:
+                    cacheRecentTags();
+                    suggestRecentlyAddedTags();
+                    break;
+                case STATUS:
+                    suggestRecentlyAddedTags();
+                    break;
                 default: // Do nothing
             }
Index: trunk/src/org/openstreetmap/josm/io/GpxReader.java
===================================================================
--- trunk/src/org/openstreetmap/josm/io/GpxReader.java	(revision 11674)
+++ trunk/src/org/openstreetmap/josm/io/GpxReader.java	(revision 11675)
@@ -339,6 +339,6 @@
                         }
                         currentState = states.pop();
-                        break;
-                    }
+                    }
+                    break;
                 case "bounds":
                     // do nothing, has been parsed on startElement