Adding the <repositories/> section from the parent.

Yeah, this seems to have straightened out Jenkins. Adding it to the
other project and adding a comment.