ElementSpec element = new ElementSpec(attr.copyAttributes(), ElementSpec.StartTagType);
DefaultStyledDocument.ElementSpec element; element = new DefaultStyledDocument.ElementSpec(attr.copyAttributes(), DefaultStyledDocument.ElementSpec.StartTagType);
    protected void blockOpen(HTML.Tag t, MutableAttributeSet attr)    {      printBuffer();      ElementSpec element = new ElementSpec(attr.copyAttributes(), ElementSpec.StartTagType);      parseBuffer.addElement(element);      printBuffer();    }