Index: trunk/src/org/openstreetmap/josm/gui/mappaint/styleelement/AreaElement.java
===================================================================
--- trunk/src/org/openstreetmap/josm/gui/mappaint/styleelement/AreaElement.java	(revision 9297)
+++ trunk/src/org/openstreetmap/josm/gui/mappaint/styleelement/AreaElement.java	(revision 9298)
@@ -127,7 +127,7 @@
         if (!Objects.equals(color, other.color))
             return false;
-        if (extent != other.extent)
+        if (!Objects.equals(extent, other.extent))
             return false;
-        if (extentThreshold != other.extentThreshold)
+        if (!Objects.equals(extentThreshold, other.extentThreshold))
             return false;
         if (!Objects.equals(text, other.text))