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 1876)
+++ trunk/autoquest-plugin-android/src/main/java/de/ugoe/cs/autoquest/plugin/android/guimodel/ANDROIDGUIElement.java	(revision 1879)
@@ -88,15 +88,4 @@
     public double getDistanceTo(IGUIElement otherElement) {
         throw new UnsupportedOperationException("not implemented yet");
-    }
-
-    /**
-     * <p>
-     * Returns the type of the GUI element, i.e., the name of its Java class.
-     * </p>
-     * 
-     * @return the Java class name
-     */
-    public String getSpecType() {
-        return specification.getType();
     }