if (tmpFact != null) fact = tmpFact;
fact = tmpFact;
	public void meetInto(BetterTypeFrame fact, Edge edge, BetterTypeFrame result)		throws DataflowAnalysisException {		// TODO: implement ACCURATE_EXCEPTIONS		if (fact.isValid() && edge.getTarget().isExceptionHandler()) {			BetterTypeFrame tmpFact = null;			// Exception handler.			// Clear stack and push exception handler catch type.			tmpFact = modifyFrame(fact, tmpFact);			tmpFact.clearStack();			CodeExceptionGen exceptionGen = edge.getTarget().getExceptionGen();			org.apache.bcel.generic.ObjectType catchType = exceptionGen.getCatchType();			if (catchType == null) {				tmpFact.pushValue(typeRepository.classTypeFromSignature(JAVA_LANG_THROWABLE_SIGNATURE));			} else {				tmpFact.pushValue(typeRepository.classTypeFromDottedClassName(catchType.getClassName()));			}			if (tmpFact != null)				fact = tmpFact;		}		mergeInto(fact, result);	}