Index: trunk/autoquest-ui-swt/src/main/java/de/ugoe/cs/autoquest/ui/swt/ShowGuiModelDialog.java
===================================================================
--- trunk/autoquest-ui-swt/src/main/java/de/ugoe/cs/autoquest/ui/swt/ShowGuiModelDialog.java	(revision 1086)
+++ trunk/autoquest-ui-swt/src/main/java/de/ugoe/cs/autoquest/ui/swt/ShowGuiModelDialog.java	(revision 1088)
@@ -14,6 +14,4 @@
 
 package de.ugoe.cs.autoquest.ui.swt;
-
-import java.util.List;
 
 import org.eclipse.swt.SWT;
@@ -148,13 +146,4 @@
     }
 
-    private void buildGuiTree(TreeItem currentParent, List<IGUIElement> elements) {
-        for (IGUIElement element : elements) {
-            TreeItem child = new TreeItem(currentParent, SWT.NULL);
-            child.setText(element.toString());
-            child.setData(element);
-            buildGuiTree(child, model.getChildren(element));
-        }
-    }
-
     private void expandAll(Tree tree, boolean expanded) {
         for (TreeItem item : tree.getItems()) {
@@ -203,5 +192,5 @@
         // update visualization of the model
         firstParent.removeAll();
-        buildGuiTree(firstParent, model.getChildren((IGUIElement) firstParent.getData()));
+        buildGuiTree(firstParent, model.getTraverser((IGUIElement) firstParent.getData()));
         firstParent.setExpanded(true);
     }