Changed cobertura version in hope that the coverage.xml file gets generated
Changed cobertura version in hope that the coverage.xml file gets generated

--HG--
extra : convert_revision : 9a973a1040d390ca389da71e0ce56216fb5bb57c

Praqma/pretested-integration-plugin,jenkinsci/pretested-integration-plugin,Praqma/pretested-integration-plugin,Praqma/pretested-integration-plugin,jenkinsci/pretested-integration-plugin,jenkinsci/pretested-integration-plugin,Praqma/pretested-integration-plugin,jenkinsci/pretested-integration-plugin