Notwithstanding any other law to the contrary, a state judge shall receive full retirement credit for service rendered after such judge's seventieth birthday.