public Iterator getOpenDocumentIterator(int index) {
		ArrayList temp = new ArrayList();
		temp.addAll(openDocuments.subList(index, openDocuments.size()));
		temp.addAll(openDocuments.subList(0, index));
		return temp.iterator();
	}