svoid setTabTitles(JTabbedPane tabs, S... titles) {
  if (tabs != null) swing {
    int n = min(tabs.getTabCount(), l(titles));
    for i to n:
      tabs.setTitleAt(i, titles[i]);
  }
}