[riftsaw-commits] Jenkins build became unstable: RiftSaw #375