DBBroker broker = brokerPool.get();
DBBroker broker = null;
	public Vector getDocumentListing(User user) throws EXistException {		DBBroker broker = brokerPool.get();		try {			DocumentSet docs = broker.getAllDocuments();			String names[] = docs.getNames();			Vector vec = new Vector();			for (int i = 0; i < names.length; i++)				vec.addElement(names[i]);			return vec;		} finally {			brokerPool.release(broker);		}	}