Github user twalthr commented on the issue:
https://github.com/apache/flink/pull/6120
I checked the docs. They do not change with these changes. However, we
should verify that the docs about the Eclipse JDT compiler are still correct
maybe even with an end-to-end test.---
