if (other.getItemType() != Type.NODE)
if (!Type.subTypeOf(other.getItemType(), Type.NODE))
	public void addAll(Sequence other) throws XPathException {		if (other.getItemType() != Type.NODE)			throw new XPathException("sequence argument is not a node sequence");		for (SequenceIterator i = other.iterate(); i.hasNext();) {			add((NodeProxy) i.nextItem());		}	}