throw err;
}
DocumentInfo newdoc = config.buildDocument(documentKey.toString());
controller.registerDocument(newdoc, documentKey);
controller.addUnavailableOutputDestination(documentKey);
return getFragment(newdoc, fragmentId, c);
} catch (XPathException err) {
pool.markUnavailable(documentKey);
err.maybeSetLocation(locator);