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;
}
