Revises retirement benefits for judges.