public static int getTabsHeight(int verticalPadding) {
    @SuppressWarnings("HardCodedStringLiteral") JLabel xxx = new JLabel("XXX");
    xxx.setFont(getLabelFont());
    return xxx.getPreferredSize().height + (verticalPadding * 2);
  }
public static int getTabsHeight(int verticalPadding)