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