static int tableRows(JTable table) {
  ret (int) swingCall(table, 'getRowCount);
}