Github user StephanEwen commented on the issue:
https://github.com/apache/flink/pull/6321
Is the issue addressed here a bug?
If not, and if it seems that the original authors of the code had an
intention of writing the code as it is now, I would suggest to leave it as it
is.---
