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

File extension-file-filter-np-check.patch, 690 bytes (added by plaicy, 17 years ago)
  • src/org/openstreetmap/josm/actions/ExtensionFileFilter.java

     
    4242     *
    4343     */
    4444    public ExtensionFileFilter(String extension, String defExt, String description) {
     45        if (extension == null ||
     46            defExt == null ||
     47            description == null) {
     48            throw new NullPointerException();
     49        }
    4550        this.extension = extension;
    4651        defaultExtension = defExt;
    4752        this.description = description;