update trove with jacoco and major results