if (parseStack.size() > 0) parseStack.pop();
    protected void blockClose(HTML.Tag t)    {      printBuffer();      DefaultStyledDocument.ElementSpec element;      element = new DefaultStyledDocument.ElementSpec(null,				DefaultStyledDocument.ElementSpec.EndTagType);      parseBuffer.addElement(element);      printBuffer();    }