Here you can find the source of toHtml(String trace)
private static String toHtml(String trace)
//package com.java2s; //License from project: Open Source License public class Main { private static String toHtml(String trace) { return trace.replaceAll("&", """).replaceAll("<", "<").replaceAll(">", ">") .replaceAll("\"", """).replaceAll("\t", " "); }//from www .j av a 2 s . c om }