ifclass JExtendedTabbedPane
  svoid setTabTitle(JExtendedTabbedPane tabs, int idx, S title) {
    if (tabs != null && idx >= 0) swing {
      if (idx < tabs.getTabCount())
        tabs.setTitleAt(idx, title);
    }
  }
endif

svoid setTabTitle(JTabbedPane tabs, int idx, S title) {
  if (tabs != null && idx >= 0) swing {
    if (idx < tabs.getTabCount())
      tabs.setTitleAt(idx, title);
  }
}