Added dotCover extractor