String enc(String str){
  return HTMLEntities.escapeHTML(str,HTMLEntities.HTMLV20);
}

String enc ( String str ) { return HTMLEntities . escapeHTML ( str , HTMLEntities . HTMLV20 ) ; }
html encode a string
