Jenkins build is unstable: ttcn3-dia2gsup-test-latest #1