for (Iterator<State> i = other.stateMap.values().iterator(); i.hasNext(); ) { State state = i.next();
for (State state : other.stateMap.values()) {
	public void copyFrom(StateSet other) {		this.isTop = other.isTop;		this.isBottom = other.isBottom;		this.stateMap.clear();		for (Iterator<State> i = other.stateMap.values().iterator(); i.hasNext(); ) {			State state = i.next();			State dup = state.duplicate();			this.stateMap.put(dup.getObligationSet(), dup);		}	}