protected String toHTML(String s){
  String result;
  result=s;
  result=result.replaceAll("&","&amp;");
  result=result.replaceAll("<","&lt;");
  result=result.replaceAll(">","&gt;");
  result=result.replaceAll("@","&#64;");
  result=result.replaceAll("\n","<br/>\n");
  return result;
}

protected String toHTML ( String s ) { String result ; result = s ; result = result . replaceAll ( "&" , "&amp;" ) ; result = result . replaceAll ( "<" , "&lt;" ) ; result = result . replaceAll ( ">" , "&gt;" ) ; result = result . replaceAll ( "@" , "&#64;" ) ; result = result . replaceAll ( "\n" , "<br/>\n" ) ; return result ; }
converts the given string into html , i . e . , replacing some char entities with html entities .
