A judge or master whose judicial office is eliminated by the provisions of this act shall be given credit for state retirement purposes for the time in which he served as judge or master under a formula to be determined by rule and regulation of the Public Employee Benefit Authority.