Index: trunk/autoquest-plugin-android/src/main/java/de/ugoe/cs/autoquest/plugin/android/guimodel/ANDROIDGUIElement.java
===================================================================
--- trunk/autoquest-plugin-android/src/main/java/de/ugoe/cs/autoquest/plugin/android/guimodel/ANDROIDGUIElement.java	(revision 1870)
+++ trunk/autoquest-plugin-android/src/main/java/de/ugoe/cs/autoquest/plugin/android/guimodel/ANDROIDGUIElement.java	(revision 1876)
@@ -18,4 +18,5 @@
 import de.ugoe.cs.autoquest.eventcore.guimodel.IGUIElement;
 import de.ugoe.cs.autoquest.eventcore.guimodel.IGUIElementSpec;
+import de.ugoe.cs.autoquest.eventcore.guimodel.IGUIView;
 
 /**
@@ -71,4 +72,12 @@
     }
 
+    /* (non-Javadoc)
+     * @see de.ugoe.cs.autoquest.eventcore.guimodel.IGUIElement#getView()
+     */
+    @Override
+    public IGUIView getView() {
+        throw new UnsupportedOperationException();
+    }
+
     /*
      * (non-Javadoc)
@@ -101,5 +110,5 @@
         return "Android";
     }
-    
+
     /**
      * <p>
@@ -170,5 +179,5 @@
         return str;
     }
-    
+
     /*
      * (non-Javadoc)
