return (DocumentImpl) documents.get(name);
DocumentImpl doc; for (Iterator i = documents.iterator(); i.hasNext();) { doc = (DocumentImpl) i.next(); if (doc.getFileName().equals(name)) return doc; } return null;
	public DocumentImpl getDocument(String name) {		return (DocumentImpl) documents.get(name);	}