this.lockedNonpublicMethodSet = new HashSet<Method>();
	public FindInconsistentSync2(BugReporter bugReporter) {		this.bugReporter = bugReporter;		this.lockedNonpublicMethodSet = new HashSet<Method>();	}