Added Cobertura code coverage support