Ticket #3002: extension-file-filter-np-check.patch

src/org/openstreetmap/josm/actions/ExtensionFileFilter.java

@@ -42 +42 @@
      *
      */
     public ExtensionFileFilter(String extension, String defExt, String description) {
+        if (extension == null ||
+            defExt == null ||
+            description == null) {
+            throw new NullPointerException();
+        }
         this.extension = extension;
         defaultExtension = defExt;
         this.description = description;