Correct AutoGradingTest package name.