Editing: CodeCoverage.php