svoid updateEnclosingTabTitleWithCount(JComponent c, int n) {
  Pair<JTabbedPane, Int> p = enclosingTab(c);
  if (p == null) ret;
  setTabTitle(p.a, p.b, appendBracketedCount(dropTrailingBracketedCount(getTabTitle(p.a, p.b)), n));
}