Cobertura does not work with java 7...