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