Github user zentol commented on the issue:
https://github.com/apache/flink/pull/5843
For `env.java.opts` we have a `ConfigOption` in the `CoreOptions` class.
They are documented like any other option (and technically they are also usable
like any other option).---
