Github user aljoscha commented on a diff in the pull request:
https://github.com/apache/flink/pull/5468#discussion_r167901255
--- Diff: docs/_includes/generated/environment_configuration.html ---
@@ -0,0 +1,41 @@
+<table class="table table-bordered">
+ <thead>
+ <tr>
+ <th class="text-left" style="width: 20%">Key</th>
+ <th class="text-left" style="width: 15%">Default</th>
+ <th class="text-left" style="width: 65%">Description</th>
+ </tr>
+ </thead>
+ <tbody>
+ <tr>
+ <td><h5>env.java.opts</h5></td>
+ <td>(none)</td>
+ <td></td>
--- End diff --
KK, go ahead, then. ð
---