static int countTabs(JTabbedPane tabs) {
  ret tabCount(tabs);
}