[riftsaw-commits] Jenkins build is unstable: RiftSaw-trunk #5