public XMLBugReporter(Map<String, String> classNameToSourceFileMap) { this.classNameToSourceFileMap = classNameToSourceFileMap;
public XMLBugReporter() {
	public XMLBugReporter(Map<String, String> classNameToSourceFileMap) {		this.classNameToSourceFileMap = classNameToSourceFileMap;	}