static void mergeTryCatch(FlowBlock tryFlow, FlowBlock catchFlow) {
		if ((GlobalOptions.debuggingFlags & GlobalOptions.DEBUG_ANALYZE) != 0)
			GlobalOptions.err.println("mergeTryCatch(" + tryFlow.getAddr()
					+ ", " + catchFlow.getAddr() + ")");
		tryFlow.updateInOutCatch(catchFlow);
		tryFlow.mergeSuccessors(catchFlow);
		tryFlow.mergeAddr(catchFlow);
	}