static JButton selectedRowCountListButton(final JList list, final JButton b) {
  fS text = getText(b);
  list.getSelectionModel().addListSelectionListener(new ListSelectionListener {
    public void valueChanged(ListSelectionEvent e) {
      selectedRowCountListButton_update(list, b, text);
    }
  });
  selectedRowCountListButton_update(list, b, text);
  ret b;
}