Github user NicoK commented on the issue:
https://github.com/apache/flink/pull/6238
actually, it was quite easy to reproduce and the fix was also just as you
proposed - please see the new commits (the old one was only renamed since I
created a separate issue for that now)---
