static void makeTableUneditable(JTable table) {
  for (int c = 0; c < table.getColumnCount(); c++) {
    Class<?> col_class = table.getColumnClass(c);
    O ed = table.getDefaultEditor(col_class);
    print("Column " + c + " class: " + col_class + " editor: " + ed);
    table.setDefaultEditor(col_class, null); // remove editor
  }
}