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