else return (javax.swing.text.TabSet) null;
  public static javax.swing.text.TabSet getTabSet(AttributeSet a)  {    if (a.isDefined(StyleConstants.TabSet))      return (javax.swing.text.TabSet) a.getAttribute(StyleConstants.TabSet);    else      return (javax.swing.text.TabSet) null;  } 