ElementSpec element = new ElementSpec(null, ElementSpec.EndTagType);
DefaultStyledDocument.ElementSpec element; element = new DefaultStyledDocument.ElementSpec(null, DefaultStyledDocument.ElementSpec.EndTagType);
    protected void blockClose(HTML.Tag t)    {      printBuffer();      ElementSpec element = new ElementSpec(null, ElementSpec.EndTagType);      parseBuffer.addElement(element);      printBuffer();    }