brokerPool.release(broker);
pool.release(broker);
	public Date getLastModificationTime() throws XMLDBException {		DBBroker broker = null;		try {			broker = brokerPool.get(user);			DocumentImpl document = getDocument(broker, false);			if (!document.getPermissions().validate(user, Permission.READ))				throw new XMLDBException(ErrorCodes.PERMISSION_DENIED,						"permission denied to read resource");			return new Date(document.getLastModified());		} catch (EXistException e) {			throw new XMLDBException(ErrorCodes.UNKNOWN_ERROR, e.getMessage(),					e);		} finally {			brokerPool.release(broker);		}	}