static DefaultTableModel getDefaultTableModel(JTable t) {
  ret (DefaultTableModel) t.getModel();
}