Github user tillrohrmann commented on the issue:
https://github.com/apache/flink/pull/4700
Thanks for the review @zentol. You are right, that I should rather add a
new JobTerminationHandler subsuming the functionality of the
`JobCancellationHandler` and the `JobStoppingHandler`. Will change the PR
accordingly.---
