public void unsetMajorVersion() {
        int oldMajorVersion = majorVersion;
        boolean oldMajorVersionESet = majorVersionESet;
        majorVersion = MAJOR_VERSION_EDEFAULT;
        majorVersionESet = false;