public void updateIdGenerators() {
   propertyIndexStore.updateIdGenerators();
   stringPropertyStore.updateHighId();
   arrayPropertyStore.updateHighId();
   this.updateHighId();
 }
 public void updateIdGenerators() {
   nameStore.updateHighId();
   this.updateHighId();
 }