I'm a developer on Clover at Atlassian.
Clover 3.1.2 has been released. It would be good to get Jenkins using the latest and greatest version of Clover.
This release is a bug fix release. More details on the issues fixed can be found here:
I will shortly be making a pull request for this.