pageHeader.headerArray is only used in getNextSeekPosition() in which populatePageHeader() resets them both at the beginning anyway. ------------- Created by MOE: https://github.com/google/moe MOE_MIGRATED_REVID=120902428
