Index: trunk/src/org/openstreetmap/josm/actions/ExtensionFileFilter.java
===================================================================
--- trunk/src/org/openstreetmap/josm/actions/ExtensionFileFilter.java	(revision 2287)
+++ trunk/src/org/openstreetmap/josm/actions/ExtensionFileFilter.java	(revision 2288)
@@ -46,9 +46,5 @@
     private final String extensions;
     private final String description;
-    /**
-     * @deprecated use {@see #getDefaultExtension()
-     */
-    @Deprecated
-    public final String defaultExtension;
+    private final String defaultExtension;