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