public BugPatternMatcher(String bugPatternType) { this.bugPatternType = bugPatternType;
public BugPatternMatcher(String bugPatternTypes) { this.bugPatternSet = new HashSet<String>(); StringTokenizer tok = new StringTokenizer(bugPatternTypes, ", \t"); while (tok.hasMoreTokens()) { bugPatternSet.add(tok.nextToken()); }
	public BugPatternMatcher(String bugPatternType) {		this.bugPatternType = bugPatternType;	}