public void update() {
   model.updateAll();
 }
 public void updateNodeID(int nodeID) {
   Integer rowIndex = nodeIDToRow.get(nodeID);
   if (rowIndex == null) updateAll();
   else fireTableRowsUpdated(rowIndex, rowIndex);
 }