static JButton selectedRowCountTableButton(final JTable table, final JButton b) {
  fS text = getText(b);
  table.getSelectionModel().addListSelectionListener(new ListSelectionListener {
    public void valueChanged(ListSelectionEvent e) {
      selectedRowCountTableButton_update(table, b, text);
    }
  });
  selectedRowCountTableButton_update(table, b, text);
  ret b;
}