Merge pull request #1430 from Lucretiel/patch-1

Added coverage annotation files