public String format(String str) { return HtmlEncoder.encode(str);
public String format(Object obj) { return HtmlEncoder.encode(toString(obj));
    public String format(String str) {        return HtmlEncoder.encode(str);    }