exchange judge_number_spec and JudgeNumberModel