Code changes for java 7.

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