Github user NicoK commented on the issue:
https://github.com/apache/flink/pull/5900
Thanks for the review, Timo.
Regarding the copy of the gradle build file: since we did not really have a
pristine version (only one that is generated by the shell script) I wanted to
put one somewhere for users who don't won't/trust the shell script :)
Alternatively, we could put this up for download in flink-web as well, but the
visibility is not the same as it is when having it included in the docs.---
