fixed bug in get_jacoco_coverage method