newdom = cache.retrieveDocument(base, originalUri, translet); if (newdom == null) { final Exception e = new FileNotFoundException(originalUri);
newdom = cache.retrieveDocument(base, originalUri, translet); if (newdom == null) { final Exception e = new FileNotFoundException(originalUri);
newdom = cache.retrieveDocument(base, originalUri, translet); if (newdom == null) { final Exception e = new FileNotFoundException(originalUri);
newdom = cache.retrieveDocument(base, originalUri, translet); if (newdom == null) { final Exception e = new FileNotFoundException(originalUri);