if (res.file != null)
if (res.file != null) { String uri = res.file.toURI().toASCIIString();
	private void storeXMLResource(LocalXMLResource res) throws XMLDBException {		DBBroker broker = null;		String name = res.getDocumentId();		try {			broker = brokerPool.get(user);			//broker.flush();			Observer observer;			for (Iterator i = observers.iterator(); i.hasNext();) {				observer = (Observer) i.next();				collection.addObserver(observer);			}			DocumentImpl newDoc;			if (res.file != null)				newDoc =					collection.addDocument(						broker,						name,						new InputSource(res.file.getAbsolutePath()));			else if (res.root != null)				newDoc = collection.addDocument(broker, name, res.root);			else				newDoc = collection.addDocument(broker, name, res.content);			res.document = newDoc;			//broker.flush();		} catch (Exception e) {			e.printStackTrace();			throw new XMLDBException(ErrorCodes.VENDOR_ERROR, e.getMessage(), e);		} finally {			collection.deleteObservers();			brokerPool.release(broker);		}	}