c.addMatches(p.match);
c.addMatches(p);
	public NodeSet union(NodeSet other) {		ArraySet result = new ArraySet(getLength() + other.getLength());		result.addAll(other);		NodeProxy p, c;		for (Iterator i = iterator(); i.hasNext();) {			p = (NodeProxy) i.next();			if (other.contains(p)) {				c = other.get(p);				if(c != null)					c.addMatches(p.match);			} else				result.add(p);		}		return result;	}