Github user tillrohrmann commented on the issue: https://github.com/apache/flink/pull/4772 Thanks for the review @zentol. I've corrected the compilation error. I'll merge this PR once Travis gives green light and the preceding PR has been merged.
---