public void refresh(Module element) { final int row = myTableModel.getElementRow(element); if (row >= 0) { myTableModel.fireTableRowsUpdated(row, row); } }