svoid updateTabNameWithTableCount(JTable table) {
  Pair<JTabbedPane, Int> p = enclosingTab(table);
  if (p == null) ret;
  setTabTitle(p.a, p.b, appendBracketedCount(dropTrailingBracketedCount(getTabTitle(p.a, p.b)), tableRowCount(table)));
}