return new LockResourceTracker(bugReporter, classContext.getValueNumberDataflow(method));
return new LockResourceTracker( bugReporter, classContext.getCFG(method), classContext.getValueNumberDataflow(method), classContext.getIsNullValueDataflow(method));
	public LockResourceTracker getResourceTracker(ClassContext classContext, Method method)	        throws CFGBuilderException, DataflowAnalysisException {		return new LockResourceTracker(bugReporter, classContext.getValueNumberDataflow(method));	}