Ran JaCoCo

Please add all the files under the coverage subfolder.