Let prove generate XML when run by jenkins