Github user tillrohrmann commented on the issue:
https://github.com/apache/flink/pull/4358
Thanks a lot for your work and patience with me @NicoK. Changes look good
to me. I've rebased it onto the latest master and once Travis gives green
light, I'll merge it :-)---
