Oops, I'll put coverage back.  Is there anything else Jenkins does that isn't in bin/jenkins.sh, which was what I ran to test?