option.addChild("a", "href", '/' + key.toString(), getFilename(key, e.getExpectedMimeType()));
String mime = writeSizeAndMIME(fileInformationList, e);
infobox = contentNode.addChild("div", "class", "infobox infobox-error");
infobox.addChild("div", "class", "infobox-header", l10n("explanationTitle"));
UnsafeContentTypeException filterException = null;
if(e.getCause() != null && e.getCause() instanceof UnsafeContentTypeException) {
filterException = (UnsafeContentTypeException)e.getCause();
}
infoboxContent = infobox.addChild("div", "class", "infobox-content");
if(filterException == null)
infoboxContent.addChild("p", l10n("unableToRetrieve"));
else
infoboxContent.addChild("p", l10n("unableToSafelyDisplay"));
if(e.isFatal() && filterException == null)
infoboxContent.addChild("p", l10n("errorIsFatal"));
infoboxContent.addChild("p", msg);
if(filterException != null) {
if(filterException.details() != null) {
HTMLNode detailList = infoboxContent.addChild("ul");
for(String detail : filterException.details()) {
detailList.addChild("li", detail);
}
}
}
if(e.errorCodes != null) {