public boolean lint(String s) {
        // return true if either the specific option is enabled, or
        // they are all enabled without the specific one being
        // disabled
        return
            get(LINT + ":" + s)!=null ||
            (get(LINT)!=null || get(LINT + ":all")!=null) &&
                get(LINT+":-"+s)==null;
    }