svoid clearTabs(JTabbedPane tabs) {
  if (tabs != null) swing { tabs.removeAll(); }
}