added getPercent() method to compute percentage of lines covered