public NodeSet filterDocuments(NodeSet otherSet) { DocumentSet docs = otherSet.getDocumentSet(); NodeSet newSet = new NewArrayNodeSet(); for (Iterator i = iterator(); i.hasNext(); ) { NodeProxy p = (NodeProxy) i.next(); if (docs.contains(p.getDocument().getDocId())) newSet.add(p); } return newSet; }