httpHeadersResource, result, uriConverter, httpHeaderProcessor);
String charSet = charsetDetector.getCharset(httpHeadersResource,
decodedResource, wbRequest);
ResultURIConverter pageConverter = uriConverter;
if (pageConverterFactory != null) {
// XXX: ad-hoc code - ContextResultURIConverterFactory should take ResultURIConverter
// as argument, so that it can simply wrap the original.
String replayURIPrefix = (uriConverter instanceof ArchivalUrlResultURIConverter ?
((ArchivalUrlResultURIConverter)uriConverter).getReplayURIPrefix() : "");
ResultURIConverter ruc = pageConverterFactory.getContextConverter(replayURIPrefix);
if (ruc != null)
pageConverter = ruc;
}
// Load content into an HTML page, and resolve load-time URLs:
TextDocument page = new TextDocument(decodedResource, result,