lcaDataflow = new Dataflow<LockCount>(cfg, analysis);
lcaDataflow = new Dataflow<LockCount, LockCountAnalysis>(cfg, analysis);
	private Dataflow<LockCount> getLockCountDataflow(CFG cfg, MethodGen methodGen) throws DataflowAnalysisException {		LCAKey key = new LCAKey(cfg, methodGen);		Dataflow<LockCount> lcaDataflow = lcaMap.get(key);		if (lcaDataflow == null) {			LockCountAnalysis analysis;			if (ANY_LOCKS) {				analysis = new AnyLockCountAnalysis(methodGen, null);			} else {				if (methodGen.isStatic())					// Static method, so by definition, there are no interesting locks in this method					return null;				ValueNumberAnalysis valueNumberAnalysis = new ValueNumberAnalysis(methodGen);				ValueNumberDataflow vnaDataflow = new ValueNumberDataflow(cfg, valueNumberAnalysis);				vnaDataflow.execute();				valueNumberAnalysis.compactValueNumbers(vnaDataflow);				analysis = new ThisLockCountAnalysis(methodGen, vnaDataflow);			}			lcaDataflow = new Dataflow<LockCount>(cfg, analysis);			lcaDataflow.execute();			lcaMap.put(key, lcaDataflow);		}		return lcaDataflow;	}