Editing check.json and grader.js