Index: /trunk/src/org/openstreetmap/josm/gui/mappaint/styleelement/AreaElement.java
===================================================================
--- /trunk/src/org/openstreetmap/josm/gui/mappaint/styleelement/AreaElement.java	(revision 11688)
+++ /trunk/src/org/openstreetmap/josm/gui/mappaint/styleelement/AreaElement.java	(revision 11689)
@@ -67,5 +67,5 @@
     private final RotationAngle iconImageAngle;
 
-    protected AreaElement(Cascade c, Color color, MapImage fillImage,Float extent,
+    protected AreaElement(Cascade c, Color color, MapImage fillImage, Float extent,
             Float extentThreshold, TextLabel text, MapImage iconImage, RotationAngle iconImageAngle) {
         super(c, 1f);
