Github user aljoscha commented on the issue:
https://github.com/apache/flink/pull/5031
@tillrohrmann I turned the option into a `ConfigOption`, it's still in
`ConfigConstants`, though, but in the long-term the restart strategy options
should probably all be migrated to `ConfigOption` and live in their own
`RestartStrategyOptions`. What do you think?---
