myDeletedEntityNamesInObjectStore = new PropertyListSet();
myDeletedEntityNamesInObjectStore = new TreeSet();
  public void _entityNameChanged(String _oldName, String _newName) {    if (myDeletedEntityNamesInObjectStore == null) {      myDeletedEntityNamesInObjectStore = new PropertyListSet();    }    myDeletedEntityNamesInObjectStore.add(_oldName);    myDeletedEntityNamesInObjectStore.remove(_newName);    myDeletedEntityNames.add(_oldName);    myDeletedEntityNames.remove(_newName);  }