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