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