brokerPool.release(broker);
pool.release(broker);
	public Permission getPermissions() throws XMLDBException {	    DBBroker broker = null;	    try {	        broker = brokerPool.get(user);		    DocumentImpl document = getDocument(broker, false);			return document != null ? document.getPermissions() : null;	    } catch (EXistException e) {            throw new XMLDBException(ErrorCodes.INVALID_RESOURCE, e.getMessage(), e);        } finally {	        brokerPool.release(broker);	    }	}