if (other.isBottom()) { this.setBottom();
if (other.isBottom() || this.isTop()) { this.copyFrom(other);
	public void mergeWith(FieldSet other) {		if (other.isTop())			return;				if (other.isBottom()) {			this.setBottom();			return;		}				fieldSet.addAll(other.fieldSet);	}