Github user tillrohrmann commented on the pull request:
https://github.com/apache/flink/commit/8c89f3c6b5ebd0334176d9e7e57b38b4d39a594a#commitcomment-29555488
The Flink JIRA issue seems to be incorrect. @aljoscha could you please
point me to the correct JIRA issue?---
