static int tableRows(JTable table) {
  ret table.getRowCount();
}