static void selectRow(JTable table, int i) {
  pcall {
    table.setRowSelectionInterval(i, i);
    scrollRowToVisible(table, i);
  }
}