Github user kl0u commented on the issue:
https://github.com/apache/flink/pull/5910
Thanks @yuqi1129, @bowenli86 and @StefanRRichter for the reviews. I
integrated your comments. If you are done with reviewing, I will merge it as
soon as Travis gives the green light.---
