public void removeAllResultsForDocument(Document doc) {
		for (int i = results.size() - 1; i >= 0; i--) {
			if (doc == getResult(i).getDocument()) {
				removeResult(i);
			}
		}
		
		fireTableDataChanged();
	}