Github user tillrohrmann commented on the issue:
https://github.com/apache/flink/pull/5114
Thanks for your fast contribution @EronWright. I will take a closer look at
the fix but from a first glance it seems that the `LaunchCoordinatorTest`
fails. Could you fix this test case while I look at the code? Thanks a lot.---
