void (@NotNull StringBuilder buf) { buf.append("</ul>"); if (myListStack[myListStackTop] != 0) { buf.append("<table cellpadding=\"0\" border=\"0\" cellspacing=\"0\"><tr><td>&nbsp;</td></tr></table>"); } if (myListStackTop == 0) { buf.append("</div>"); } myListStackTop--; }