Regression test to fix a GraderBotException bug