public void update(Observable o, Object argObject)
{
if (argObject == null)
return;
ArgObserverTable arg = (ArgObserverTable) argObject;
if (arg.getType() == ArgObserverTable.RENAME) {
for (int i = 0; i < informations.size(); i++)
if (((String) informations.get(i)).equals(arg
.getOldName()))
informations.set(i, arg.getNewName());
} else if (arg.getType() == ArgObserverTable.DELETE) {
deleteInformation(arg.getName());
}
}