try {   if (href.length() == 0) { href = new String(baseURI); } return getDOM(_uriResolver.resolve(href, baseURI));
try {  if (href.length() == 0) { href = new String(baseURI); }   Source resolvedSource = _uriResolver.resolve(href, baseURI); if (resolvedSource == null)  { StreamSource streamSource = new StreamSource( SystemIDResolver.getAbsoluteURI(href, baseURI)); return getDOM(streamSource) ; }  return getDOM(resolvedSource);
    public DOM retrieveDocument(String baseURI, String href, Translet translet) {	try {                // Argument to document function was: document('');        if (href.length() == 0) {            href = new String(baseURI);        }    	    return getDOM(_uriResolver.resolve(href, baseURI));	}	catch (TransformerException e) {	    if (_errorListener != null)		postErrorToListener("File not found: " + e.getMessage());	    return(null);	}    }