protected final XMLResource retrieve(String resource) throws XMLDBException {
protected final Resource retrieve(String resource) throws XMLDBException {
	protected final XMLResource retrieve(String resource) throws XMLDBException {		return retrieve(resource, properties.getProperty("indent"));	}