https://javainspires.blogspot.com/2021/06/jackson-api-how-to-convert-java-set-to-json-string.html