kleine Anderungen JudgeServerWorker