Testing with the cobertura formatter