buf.append("}"); return buf.toString();
	public String toString() {		StringBuffer buf = new StringBuffer();		buf.append("{");		boolean first = true;		for (Iterator<State> i = stateIterator(); i.hasNext();) {			State state = i.next();			if (first)				first = false;			else				buf.append(",");			buf.append(state.toString());		}		buf.append("}");		return buf.toString();	}