Github user kl0u commented on the issue:
https://github.com/apache/flink/pull/5993
Thanks for the work @sihuazhou and for reporting this @florianschmidt1994 !
This fixes the problem described in the JIRA but I will look at the PR a bit
more thoroughly on Monday at the latest and then merge it if everything is ok.---
