-- coverage plug-in for sonar reports