I'm a developer on Clover at Atlassian.
Clover 3.1.0 has been released (a soft release, announcements will go out on Thursday 2 June). It would be good to get Jenkins using the latest and greatest version of Clover.
The main feature in this release of Clover is support for Java 1.7 syntax.
I will shortly be making a pull request for this.