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