doc.setFileName(newName); documents.remove(oldName); documents.put(newName, doc); return true;
	public boolean renameDocument(String oldName, String newName) {		DocumentImpl doc = getDocument(oldName);		if (doc == null) {			LOG.debug("document " + oldName + " not found");			return false;		}		doc.setFileName(newName);		documents.remove(oldName);		documents.put(newName, doc);		return true;	}