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