Github user StefanRRichter commented on the issue:
https://github.com/apache/flink/pull/5356
Ok, that is not so nice IMHO for an API, but if you think this might break
some code then we have to keep it. Nevertheless, I still doubt about any
additional value from the new method that is introduced by this PR. If we
cannot change the old method, then I do not see a big benefit and this might
not be worth having more methods in the API to maintain. What do you think
@fhueske and @aljoscha ?---
