Github user tillrohrmann commented on the issue:
https://github.com/apache/flink/pull/5339
Thanks for the review @kl0u. I've addressed your comment and rebased onto
the latest master. Once Travis gives green light, I'll merge this PR.---
