[Jrst-commits] Jenkins build is back to normal : jrst #914