tree 879da6feab8fabf9205adcf532ea2ef817098ff7
parent b805245a34cf8b2c28ff1c9e329ed1b05dead559
author margaretha <margaretha@ids-mannheim.de> 1773141138 +0100
committer margaretha <margaretha@ids-mannheim.de> 1773141138 +0100

Fix Jackson and serialization deprecated methods

[AI assisted]
1. JsonNode.fields() → JsonNode.properties().iterator()
2. ObjectNode.put(String, JsonNode) → ObjectNode.set(String, JsonNode)
3. ObjectNode.putAll(ObjectNode) → ObjectNode.setAll(ObjectNode)
4. Custom KoralNode.put() → KoralNode.set()

Change-Id: I72fe9febcc69d5951077eebb0e245fde62037bdc