Github user aljoscha commented on the issue:
https://github.com/apache/flink/pull/5123
Ok, sounds good to me. @tillrohrmann could you please have a look at this?
It's a very small change but I know too little about these parts to be sure
that it doesn't cause other problems.---
