[Jrst-build] Jenkins build became unstable: jrst-ci #20-develop