public static String toHTML(String s) { s = Misc.string_replace(">", ">", s); s = Misc.string_replace("<", "<", s); s = Misc.string_replace(" ", " ", s); s = Misc.string_replace(" ", "\t", s); s = Misc.string_replace("<br>", "\n", s); return s; }