synchronized public void removeDocument(String name) {
synchronized public void removeDocument( DBBroker broker, String docname) throws PermissionDeniedException, TriggerException {
	synchronized public void removeDocument(String name) {		Trigger trigger = null;		if(!name.equals("collections.xconf")) {			CollectionConfiguration config = getConfiguration();			trigger = config.getTrigger(Trigger.REMOVE_EVENT);		}		documents.remove(name);	}