svoid selectTabComponent(JTabbedPane tabs, Component c) swing {
  int idx = indexOfTabComponent(tabs, c);
  if (idx >= 0)
    tabs.setSelectedIndex(idx);
}

svoid selectTabComponent(JExtendedTabbedPane tabs, Component c) swing {
  int idx = indexOfTabComponent(tabs, c);
  if (idx >= 0)
    tabs.setSelectedIndex(idx);
}