for(int j = 0; j < part.length; j++) { ds.add(part.array[j].doc);
for (int j = 0; j < part.length; j++) { doc = part.array[j].doc; if(last == null || last.docId != doc.docId) ds.add(part.array[j].doc); last = doc;
	public DocumentSet getDocumentSet() {		if(!isSorted)			size = 0;		Part part;		DocumentSet ds = new DocumentSet();		for (Iterator i = map.valueIterator(); i.hasNext();) {			part = (Part) i.next();			if(!isSorted) {				part.sort();				size += part.removeDuplicates();			}			for(int j = 0; j < part.length; j++) {				ds.add(part.array[j].doc);			}		}		isSorted = true;		return ds;	}