New options for Java parser-grader.