*/
static String process(String aText, int sizeLimit, boolean html)
{
if (aText == null) return null;
IHtmlParserListener listener;
HtmlParser parser = new HtmlParser(true);
StringBuilderListener bufListener = new StringBuilderListener(aText.length(), sizeLimit);
listener = html ? new SwingHtmlFilter(bufListener) : new SwingPlainFilter(bufListener);