FilterMIMEType typeHandler = ContentFilter.getMIMEType(type);
HTMLNode failedContent = pageMaker.getInfobox("failed_requests", l10n("failedDBadMIME", new String[]{ "size", "type" }, new String[]{ String.valueOf(getters.size()), type }), contentNode, "download-failed-"+atype, false);
// FIXME add a class for easier styling.
KnownUnsafeContentTypeException e = new KnownUnsafeContentTypeException(typeHandler);
failedContent.addChild("p", l10n("badMIMETypeIntro", "type", type));
List<String> detail = e.details();
if(detail != null && !detail.isEmpty()) {
HTMLNode list = failedContent.addChild("ul");
for(String s : detail)
list.addChild("li", s);
}