Grader.js and check.json defaults