Github user StephanEwen commented on the issue:
https://github.com/apache/flink/pull/2226
The point of using `Properties` is that users of the API can use a class
they are familiar with and maybe even reuse configurations and tools they
internally that work with `Properties` types. Adding yet another config type
means users may have to integrate yet another config type with their own tools
and utils.
---
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.
---
