cobertura/cobertura — pull request #2 by christ66 (2013-04-23 12:27:14+00:00)
Title: Code changes for java 7.

These are the necessary code changes required to get cobertura working with java 7.