Maybe add to the JavaDoc, that it generates a `JobGraph` with the specified 
`JobID`.

[ Full content available at: https://github.com/apache/flink/pull/6733 ]
This message was relayed via gitbox.apache.org for [email protected]

Reply via email to