FYI our build has failed so I've emailed the Jenkins team

[Robert Matthews]

We got this line in out console output:

ERROR: Processing failed due to a bug in the code. Please report this to 
jenkins-us...@googlegroups.com


So I have.

Rob