Add an Arbitrary that also provides a label for the generated Process1
Merge branch 'master' into coveralls