Github user StefanRRichter commented on the issue:
https://github.com/apache/flink/pull/5058
I was thinking about where to put those options and after all it was a
choice between fragmentation and inconsistency. I considered
`TaskManagerOptions` but it sounds like a wrong place, if you look what the
other options in this class are about and it also feels like saying `Task` ==
`StreamTask` because timers are something that currently belongs to `streaming`
imo. There are classes for configurations all over the place, so if you think
this is a problem, maybe we should fix it in general and not on a per-case
basis?
I agree that we can change the key string.
---
