I'm trying to test Jacoco with a HelloWorld program