yes, seems like this will be the correct format now that the proxy grader is using the AutoGrader class.