try {
docurl = resolvedUri.toURL();
} catch (MalformedURLException e) {
throw new DynamicError("Malformed URL: " + resolvedUri, e);
}
DocumentManager docmgr = dynEnv.getDocumentManager();
DTMDocument doc = docmgr.loadDocument(docurl, dynEnv);
return doc;
}
}