broker = pool.get();
broker = pool.get(user);
	public Occurrences[] scanIndexTerms(		String start,		String end,		boolean inclusive)		throws XMLDBException {		DBBroker broker = null;		try {			broker = pool.get();			return broker.getTextEngine().scanIndexTerms(user, parent.collection, 					start, end, inclusive);		} catch (PermissionDeniedException e) {			throw new XMLDBException(ErrorCodes.PERMISSION_DENIED,				"permission denied", e);		} catch (EXistException e) {			throw new XMLDBException(				ErrorCodes.VENDOR_ERROR,				"database access error",				e);		} finally {			pool.release(broker);		}	}