From 3586921b967f4f08ecabfe6483e41dc91b554817 Mon Sep 17 00:00:00 2001
From: dmm9 <dmm9@users.noreply.github.com>
Date: Fri, 15 Dec 2023 17:59:16 +0100
Subject: [PATCH] Fixes https://github.com/eclipse-glsp/glsp/issues/1199 (#223)

---
 .../org/eclipse/glsp/graph/builder/GModelElementBuilder.java    | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/plugins/org.eclipse.glsp.graph/src/org/eclipse/glsp/graph/builder/GModelElementBuilder.java b/plugins/org.eclipse.glsp.graph/src/org/eclipse/glsp/graph/builder/GModelElementBuilder.java
index 58b661e4..bfc38c40 100644
--- a/plugins/org.eclipse.glsp.graph/src/org/eclipse/glsp/graph/builder/GModelElementBuilder.java
+++ b/plugins/org.eclipse.glsp.graph/src/org/eclipse/glsp/graph/builder/GModelElementBuilder.java
@@ -64,7 +64,7 @@ public E add(final GModelElement child) {
       return self();
    }
 
-   public E addAll(final List<GModelElement> children) {
+   public E addAll(final List<? extends GModelElement> children) {
       this.children.addAll(children);
       return self();
    }