DBBroker broker = brokerPool.get(user); boolean r = (broker.getDocument(name) != null); brokerPool.release(broker); return r;
DBBroker broker = null; try { broker = brokerPool.get(user); return (broker.getDocument(name) != null); } finally { brokerPool.release(broker); }
	public boolean hasDocument(User user, String name) throws Exception {		DBBroker broker = brokerPool.get(user);		boolean r = (broker.getDocument(name) != null);		brokerPool.release(broker);		return r;	}