protected final Resource retrieve(String resource, String indent) throws XMLDBException { current.setProperty(OutputKeys.INDENT, indent); current.setProperty( OutputKeys.ENCODING, properties.getProperty("encoding")); current.setProperty( EXistOutputKeys.EXPAND_XINCLUDES, properties.getProperty("expand-xincludes")); 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 {		current.setProperty(OutputKeys.INDENT, indent);		current.setProperty(			OutputKeys.ENCODING,			properties.getProperty("encoding"));		current.setProperty(			EXistOutputKeys.EXPAND_XINCLUDES,			properties.getProperty("expand-xincludes"));		Resource res= current.getResource(resource);		if (res == null) {			messageln("document not found.");			return null;		} else			return res;	}