Github user StephanEwen commented on the issue:
https://github.com/apache/flink/pull/4447
If the tooling is hard to be made to cooperate, then I am not religious
about the `final` keyword here.
This is more of a general theme: I am trying to advocate to not change
things "just because it looks better".
Once you did your first set of late night debugging sessions and found that
the bug was introduced by a "cleanup" change, you may know why I feel quite
strongly about this...
---
If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at [email protected] or file a JIRA ticket
with INFRA.
---
