print ("HTMLReader.addSpecialElement not implemented yet");
a.addAttribute(StyleConstants.NameAttribute, t);    AttributeSet copy = a.copyAttributes();     DefaultStyledDocument.ElementSpec spec; spec = new DefaultStyledDocument.ElementSpec(copy, DefaultStyledDocument.ElementSpec.ContentType, new char[] {' '}, 0, 1 ); parseBuffer.add(spec);
    protected void addSpecialElement(HTML.Tag t, MutableAttributeSet a)      throws NotImplementedException    {      // FIXME: Implement      print ("HTMLReader.addSpecialElement not implemented yet");    }