Github user StefanRRichter commented on the issue:
https://github.com/apache/flink/pull/4963
Alright, I think this looks good to me now. @bowenli86 would you also like
to work on the followup issues that you created?
I will merge this today or tomorrow.---
