public void removeDocument(String name) { DocumentImpl doc; for (Iterator i = documents.iterator(); i.hasNext();) { doc = (DocumentImpl) i.next(); if (doc.getFileName().equals(name)) { i.remove(); return; } }
synchronized public void removeDocument(String name) { documents.remove(name);
	public void removeDocument(String name) {		DocumentImpl doc;		for (Iterator i = documents.iterator(); i.hasNext();) {			doc = (DocumentImpl) i.next();			if (doc.getFileName().equals(name)) {				i.remove();				return;			}		}	}