public void setMinorVersion(int newMinorVersion) {
        int oldMinorVersion = minorVersion;
        minorVersion = newMinorVersion;
        boolean oldMinorVersionESet = minorVersionESet;
        minorVersionESet = true;