@Override
      public Dimension getPreferredSize() {
        Dimension size = super.getPreferredSize();
        size.height = JBRunnerTabs.getTabLabelPreferredHeight();
        return size;
      }
@Override
      public Dimension getPreferredSize()