Jenkins build is unstable: TTCN3-centos-msc-test #942