void mergeSuccessors(FlowBlock succ) {
		/*
		 * Merge the successors from the successing flow block
		 */
		Iterator iter = succ.successors.entrySet().iterator();
		while (iter.hasNext()) {
			Map.Entry entry = (Map.Entry) iter.next();
			FlowBlock dest = (FlowBlock) entry.getKey();
			SuccessorInfo hisInfo = (SuccessorInfo) entry.getValue();
			SuccessorInfo myInfo = (SuccessorInfo) successors.get(dest);

			if (dest != END_OF_METHOD)
				dest.predecessors.remove(succ);
			if (myInfo == null) {
				if (dest != END_OF_METHOD)
					dest.predecessors.add(this);
				successors.put(dest, hisInfo);
			} else {
				myInfo.gen.addAll(hisInfo.gen);
				myInfo.kill.retainAll(hisInfo.kill);
				Jump myJumps = myInfo.jumps;
				while (myJumps.next != null)
					myJumps = myJumps.next;
				myJumps.next = hisInfo.jumps;
			}
		}
	}