Github user tillrohrmann commented on the issue:
https://github.com/apache/flink/pull/5310
Thanks for the review @GJL. Ideally we don't leave things around when no
longer needed. Thus, which scenario other than a hard crash have you spotted
that doesn't clean up the graphs?---
