Changes to coverage script for Jenkins