Github user StephanEwen commented on the issue:
https://github.com/apache/flink/pull/5058
Looks good all in all.
I am torn between adding a configuration setting for the timer grace period
and not having one. Seems like a setting that is unlikely to ever be used and
just blows up the config space. On the other hand, magic numbers should be
configurable...---
