protected final Resource retrieve(String resource, String indent) throws XMLDBException { Resource res = current.getResource(resource); if (res == null) { messageln("document not found."); return null; } else return res;
protected final Resource retrieve(String resource) throws XMLDBException { return retrieve(resource, properties.getProperty("indent"));
	protected final Resource retrieve(String resource, String indent)			throws XMLDBException {		Resource res = current.getResource(resource);		if (res == null) {			messageln("document not found.");			return null;		} else			return res;	}