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.
---