Github user sebastiansemmle commented on the issue:
https://github.com/apache/flink/pull/5245
For the record: #4784 fixes the problems in this PR and a few more. So it
might be sensible to merge that one instead, especially since it had been
reviewed already.---
