}
String docName = documentNames.get(index);
documentNames.remove(index);
originalIndexes.remove(index);
documentIndexes.remove(docName);
fireDocumentRemoved(new CorpusEvent(
this, null, // can we get away with using null instead of doc?
index, CorpusEvent.DOCUMENT_REMOVED));
return null; // can we get away with using null instead of doc???
}