Forgot to override getHighestModSeq() as well.

Bug: 13195