public Object clone() {
		try {
			SimpleSet other = (SimpleSet) super.clone();
			other.elementObjects = (Object[]) elementObjects.clone();
			return other;
		} catch (CloneNotSupportedException ex) {
			throw new alterrs.jode.AssertError("Clone?");
		}
	}