Transform GraphStreamNodePropertyResult into record

Author: DarthMax

applications/graph-store-catalog-results/src/main/java/org/neo4j/gds/applications/graphstorecatalog/GraphStreamNodePropertyResult.java

@@ -21,14 +21,9 @@
 
 import java.util.List;
 
-public class GraphStreamNodePropertyResult {
-    public final long nodeId;
-    public final Object propertyValue;
-    public final List<String> nodeLabels;
-
-    public GraphStreamNodePropertyResult(long nodeId, Object propertyValue, List<String> nodeLabels) {
-        this.nodeId = nodeId;
-        this.propertyValue = propertyValue;
-        this.nodeLabels = nodeLabels;
-    }
+public record GraphStreamNodePropertyResult(
+    long nodeId,
+    Object propertyValue,
+    List<String> nodeLabels
+){
 }