Update to cobertura 2.0.3.

Unfortunately, this version of cobertura is broken: see
https://github.com/cobertura/cobertura/issues/52

Perhaps version 2.0.0 would work, though?
Replace cobertura with JaCoCo.

The output is not nearly as elegant/easy to read, but It Works.