Upgrade cobertura to a java 7 compatible version