Added more stuff for jacoco. Still unsure how it works.