Swicthed back to Cobertura now that it works better with Java 7