Fix workflow documentation navigation example (#238)

Update the NodeDocumentationNavigationTargetProvider to not rely on the tasks name which is currently unreliable (see eclipse-glsp/glsp#1351) and instead relies on the `text` property of the tasks label.

examples/org.eclipse.glsp.example.workflow/src/org/eclipse/glsp/example/workflow/model/WorkflowNavigationTargetResolver.java

@@ -20,6 +20,7 @@
 import java.util.Set;
 
 import org.eclipse.glsp.example.workflow.wfgraph.TaskNode;
+import org.eclipse.glsp.graph.GLabel;
 import org.eclipse.glsp.server.features.navigation.NavigationTarget;
 import org.eclipse.glsp.server.features.navigation.NavigationTargetResolution;
 import org.eclipse.glsp.server.features.navigation.NavigationTargetResolver;
@@ -36,7 +37,8 @@ public NavigationTargetResolution resolve(final NavigationTarget navigationTarge
       if (navigationTarget.getArgs().containsKey("name")) {
          String name = navigationTarget.getArgs().get("name");
          Set<TaskNode> taskNodes = modelState.getIndex().findAll(modelState.getRoot(), TaskNode.class);
-         Optional<TaskNode> element = taskNodes.stream().filter(node -> name.equals(node.getName())).findFirst();
+         Optional<TaskNode> element = taskNodes.stream().filter(node -> node.getChildren().stream()
+            .anyMatch(child -> child instanceof GLabel && ((GLabel) child).getText().equals("Push"))).findFirst();
          if (element.isPresent()) {
             return new NavigationTargetResolution(Arrays.asList(element.get().getId()));
          }