Several students have been confused by the "errors" reported by IntelliJ related to the undefined grader and haltOnFailingCoverage properties referenced in the grader Maven profile.
I should investigate if I can define the properties in such a way so that the grader profile still behaves as expected without causing these errors.
Perhaps I can move the declaration of the grader profile to a parent POM.