https://datalog.codingforstudent.com/programming-assignment-checking-coverage-with-jacoco/