Github user StephanEwen commented on the issue:
https://github.com/apache/flink/pull/4749
I think this looks good.
Since it rename the mini cluster methods (meaning it does actually change
user facing pre-production code which should also be stable), I would only
merge this for 1.4 and not 1.3.x.
Given the frequent confusion between `stop()` and `shutdown()`, I think the
(renamed) methods should have proper docs before merging this.---
