Upgrading cobertura to a version that supports java 7