@Override
  public void setModificationStamp(long modificationStamp) {
    myModificationStamp = modificationStamp;
    myFrozen = null;
  }
@Override
  public void setModificationStamp(long modificationStamp)