broker = pool.get(); return broker.scanIndexedElements(user, parent.collection, inclusive);
broker = pool.get(user); return broker.scanIndexedElements(parent.collection, inclusive);
	public Occurrences[] getIndexedElements(boolean inclusive)		throws XMLDBException {		DBBroker broker = null;		try {			broker = pool.get();			return broker.scanIndexedElements(user, parent.collection, inclusive);		} catch (EXistException e) {			// TODO: handle exception			throw new XMLDBException(				ErrorCodes.VENDOR_ERROR,				"database access error",				e);		} catch (PermissionDeniedException e) {			throw new XMLDBException(ErrorCodes.PERMISSION_DENIED, 				"permission denied", e);		} finally {			pool.release(broker);		}	}