Changed coverage tool from Cobertura to JaCoCo.