if(CharacterAttributeTranslator.translateTag(charAttr, t, a)) return;
      public void start(HTML.Tag t, MutableAttributeSet a)      {        // Put the old attribute set on the stack.        pushCharacterStyle();        	// Translate tag.. return if succesful.	if(CharacterAttributeTranslator.translateTag(charAttr, t, a))	  return;        // Just add the attributes in <code>a</code>.        if (a != null)          charAttr.addAttribute(t, a.copyAttributes());                }