Index: /trunk/autoquest-core-events/src/main/java/de/ugoe/cs/autoquest/eventcore/guimodel/GUIElementFactory.java
===================================================================
--- /trunk/autoquest-core-events/src/main/java/de/ugoe/cs/autoquest/eventcore/guimodel/GUIElementFactory.java	(revision 1066)
+++ /trunk/autoquest-core-events/src/main/java/de/ugoe/cs/autoquest/eventcore/guimodel/GUIElementFactory.java	(revision 1067)
@@ -87,8 +87,10 @@
         int i = 0;
         String className = null;
-        while (className == null && i < typeHierarchy.length){
-        	className = mappings.getProperty(typeHierarchy[i]);
-        	i++;
-        }
+        
+        while ((className == null) && (i < typeHierarchy.length)) {
+            className = mappings.getProperty(typeHierarchy[i]);
+            i++;
+        }
+        
         if (className != null) {
             try {