[riftsaw-commits] Jenkins build is unstable: RiftSaw-db2 #133