use class in JudgeServer