protected void fireChangedMostRecentDocumentTouchedEvent(Document doc) {
		changedMostRecentDocumentTouchedEvent.setDocument(doc);
		for (int i = 0, limit = documentRepositoryListeners.size(); i < limit; i++) {
			((DocumentRepositoryListener) documentRepositoryListeners.get(i)).changedMostRecentDocumentTouched(changedMostRecentDocumentTouchedEvent);
		}
		
		// Cleanup
		changedMostRecentDocumentTouchedEvent.setDocument(null);
	}