We got coverage! :-) Check target/jacoco-report after verify.