switched to jacoco for more precise coverage