I find it odd that a judge loses their vested pension/retirement if they leave their position before they hit retirement age.
Same in the California state system, though they do get the contributions back with interest