static int indexOfSelectedTab(JTabbedPane tabs) {
  ret selectedTabIndex(tabs);
}