public ResourceTracker<Lock> getResourceTracker(ClassContext classContext, Method method)
public LockResourceTracker getResourceTracker(ClassContext classContext, Method method)
	public ResourceTracker<Lock> getResourceTracker(ClassContext classContext, Method method)		throws CFGBuilderException, DataflowAnalysisException {		return new LockResourceTracker(bugReporter, classContext.getValueNumberDataflow(method));	}