Switched to Java 7, & using JaCoCo rather than Cobertura