[Fix bug 894299] Enable coverage reporting on jenkins script
Merge pull request #438 from johngian/894299-cobertura

[Fix bug 894299] Enable coverage reporting on jenkins script