getElementsBox().addNewVersion(txNumber);
VBox<FunctionalSet<E>> box = elementsRef.get(); if (box != null) { box.addNewVersion(txNumber); }
    public void addNewVersion(int txNumber) {	getElementsBox().addNewVersion(txNumber);    }