Github user tzulitai commented on the issue:
https://github.com/apache/flink/pull/4150
@casidiablo thanks for the info!
I'll merge this for `release-1.3` then, and will keep an extra eye on
whether the problem still occurs for 1.4 / 1.5.---
