Jenkins build became unstable: ttcn3-epdg-test-latest-net-next #42