public String getHTMLMessage() { return "<html>Error occured:<br>" + Tools.escapeXML(getMessage()) + "<hr>" + Tools.escapeXML(getDetails()) + "</html>"; }
@Override public String getHTMLMessage() { // return "<html>Error in: <b>" + getOperator() + "</b><br>" + Tools.escapeXML(getMessage()) // + "<hr>" + Tools.escapeXML(getDetails()) + // "</html>"; return "<html>Error in: <b>" + getOperator() + "</b><br>" + Tools.escapeXML(getMessage()) + "</html>"; }