Github user zentol commented on the issue:
https://github.com/apache/flink/pull/6170
env.execute() should block until the job has finished execution, so your
analysis may be incorrect.
I can take a deeper look at possible semantic changes, but there are some
conceptual issues I'd like to clear up first.---
