static String htmlEscape(String s) { s.replaceAll('&',"&"); s.replaceAll('<',"<"); s.replaceAll('>',">"); return s; }