Jenkins clover.xml