public void updateInOutCatch(FlowBlock catchFlow) {
		VariableSet gens = ((TryBlock) block).gen;

		/*
		 * Merge the locals used in the catch block with those written by the
		 * try block
		 */
		catchFlow.in.merge(gens);

		/*
		 * The gen/kill sets must be updated for every jump in the other block
		 */
		Iterator i = catchFlow.successors.values().iterator();
		while (i.hasNext()) {
			SuccessorInfo succSuccInfo = (SuccessorInfo) i.next();
			succSuccInfo.gen.mergeGenKill(gens, succSuccInfo.kill);
		}
		in.addAll(catchFlow.in);
		gen.addAll(catchFlow.gen);

		if ((GlobalOptions.debuggingFlags & GlobalOptions.DEBUG_INOUT) != 0) {
			GlobalOptions.err.println("UpdateInOutCatch: gens : " + gens);
			GlobalOptions.err.println("                  s.in : "
					+ catchFlow.in);
			GlobalOptions.err.println("                  in   : " + in);
		}
	}