Github user aljoscha commented on the issue:
https://github.com/apache/flink/pull/5896
@EronWright the fix is really one this:
https://github.com/apache/flink/commit/ba3e2711a2091b7c0907a5caf3ea527f837a442f
But I haven't yet managed to reproduce a failure on my system without the fix.
Still working on it.---
