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);
}
}