public BugPattern lookupBugPattern(String bugType) {
public @CheckForNull BugPattern lookupBugPattern(String bugType) {
	public BugPattern lookupBugPattern(String bugType) {		return bugPatternMap.get(bugType);	}