Since you're creating a new list anyway and the total size is known, add the super parameter to that one instead.
[ Full content available at: https://github.com/apache/flink/pull/6754 ] This message was relayed via gitbox.apache.org for [email protected]
