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());
        }
    }