return warning.getSeverityLevel() <= options.warning;
return warning.getSeverityLevel() <= KjcOptions.warning;
    protected boolean filterWarning(CWarning warning) {	WarningFilter	filter = getFilter();	int			value = filter.filter(warning);	switch (value) {	case WarningFilter.FLT_REJECT:	    return false;	case WarningFilter.FLT_FORCE:	    return true;	case WarningFilter.FLT_ACCEPT:	    return warning.getSeverityLevel() <= options.warning;	default:	    throw new InconsistencyException();	}    }