if (doc == null) return; if (doc.getResourceType() != DocumentImpl.BINARY_FILE) throw new PermissionDeniedException( "document " + docname + " is not a binary object"); broker.removeBinaryResource((BLOBDocument) doc); documents.remove(path); broker.saveCollection(this);
removeBinaryResource(broker, doc);
	synchronized public void removeBinaryResource(DBBroker broker, String docname)		throws PermissionDeniedException {		String path = getName() + '/' + docname;		DocumentImpl doc = getDocument(path);		if (doc == null)			return;		if (doc.getResourceType() != DocumentImpl.BINARY_FILE)			throw new PermissionDeniedException(				"document " + docname + " is not a binary object");		broker.removeBinaryResource((BLOBDocument) doc);		documents.remove(path);		broker.saveCollection(this);	}