isInDocumentOrder = true;
	public void sortInDocumentOrder() {		//		long start = System.currentTimeMillis();		Part part;		size = 0;		for (Iterator i = map.valueIterator(); i.hasNext(); ) {			part = (Part) i.next();			part.sortInDocumentOrder();			size += part.removeDuplicates();		}		isSorted = false;		//		System.out.println("in-document-order sort took " +		// (System.currentTimeMillis() - start) + "ms.");	}