Build failed in Jenkins: java-identity-provider-nightly #512

[Rod Widdowson]

Thanks tom

> Jenkins jobs usually have a workspace link from which you can view the
file
> system via a browser, I think authn is required to see the link.

Thanks I'll remember that next time that happens.  Of course last night has
since run ad it was clear so I guess it was a disturbance in the force.  But
it would have been nice to understand why...

R