Use JaCoCo for cobertura reporting