static void selectedRowCountTableButton_update(JTable table, JButton b, S text) {
  int c = table.getSelectedRowCount();
  setEnabled(b, c > 0);
  setText(b, c > 0 ? text + " (" + c + ")" : text);
}