remove judger.ini