Github user yunfan123 commented on the issue:
https://github.com/apache/flink/pull/4963
Flink use StringAppendOperator as merge operator. It used in
org.apache.flink.contrib.streaming.state.PredefinedOptions.
It use native java method.
Can we use the native method to merge our list?---
