filter = (WarningFilter)Class.forName(options.filter).newInstance();
filter = (WarningFilter)Class.forName(KjcOptions.filter).newInstance();
    protected WarningFilter getFilter() {	if (filter == null) {	    if (options.filter != null) {		try {		    filter = (WarningFilter)Class.forName(options.filter).newInstance();		} catch (Exception e) {		    inform(KjcMessages.FILTER_NOT_FOUND, options.filter);		}	    }	    if (filter == null) {		filter = new DefaultFilter();	    }	}	return filter;    }