Omitting Vendor directories from the Coverage report for more-accurate metrics that won't make Jenkins sad.