CodeCoverageWithJaCoCo

Code coverage with Jacoco plugin

Full automation of report generation and verification rules with the command ./gradlew clean build