Jenkins build is back to normal : ttcn3-hnodeb-test #481