public void setObjectNumber(int newObjectNumber) {
        int oldObjectNumber = objectNumber;
        objectNumber = newObjectNumber;
        boolean oldObjectNumberESet = objectNumberESet;
        objectNumberESet = true;