Github user kl0u commented on the issue:
https://github.com/apache/flink/pull/5691
Thanks for the review @zentol ! I updated the PR integrating your comments,
or commenting on why I did not do it. Please have a look and let me know if you
have more comments.---
