static void selectedRowCountListButton_update(JList list, JButton b, S text) {
  int c = list.getSelectedIndices().length;
  setEnabled(b, c > 0);
  setText(b, c > 0 ? text + " (" + c + ")" : text);
}