Jenkins build became unstable: ttcn3-dia2gsup-test #11