*/
public void fireTableChanged(TableModelEvent evt_) {
Enumeration<TableModelListener> e = _listeners.elements();
while (e.hasMoreElements()) {
TableModelListener l = (TableModelListener) e.nextElement();
l.tableChanged(evt_);
}
}
/** Notifies all listeners that the value at [row, column] has been
* updated.