public void addSuccessor(Jump jump) {
		SuccessorInfo info = (SuccessorInfo) successors.get(jump.destination);
		if (info == null) {
			info = new SuccessorInfo();
			info.jumps = jump;
			if (jump.destination != END_OF_METHOD)
				jump.destination.predecessors.add(this);
			successors.put(jump.destination, info);
		} else {
			jump.next = info.jumps;
			info.jumps = jump;
		}
	}