throws NotImplementedException
    protected void addSpecialElement(HTML.Tag t, MutableAttributeSet a)    {      // FIXME: Implement      print ("HTMLReader.addSpecialElement not implemented yet");    }