else if (name.equals ("NEWOBJECTS")) { doingNew = false; } else if (name.equals ("CHANGEDOBJECTS")) { doingChanged = false; } else if (name.equals ("DELETEDOBJECTS")) { doingDeleted = false; }
    public void endElement (String uri, String local, String name) {      if (name.equals ("FIELD")) {        prefix = (String) prefixes.pop();      }      else if (name.equals ("OBJECT")) {        objectType = (String) objectTypes.pop();        object = (SchObject) objects.pop();        predefined = null;      }      else if (name.equals ("VALUE")) {      }      else if (name.equals ("LIST")) {        listFormat = (ListFormat) listFormats.pop();        object = (SchObject) objects.pop();      }      else if (name.equals ("GLOBAL")) {        globalName = null;      }    }