if(CharacterAttributeTranslator.translateTag(charAttr, t, a)) return;
      public void start(HTML.Tag t, MutableAttributeSet a)      {        // Put the old attribute set on the stack.        pushCharacterStyle();                // And create the new one by adding the attributes in <code>a</code>.        if (a != null)          charAttr.addAttribute(t, a.copyAttributes());                }