Upgraded cobertura plugin.