Jenkins build is back to stable : ttcn3-hnodeb-test-latest #624