Editing: CoverageCrap4jToReport.php