Index: trunk/autoquest-plugin-android/src/main/java/de/ugoe/cs/autoquest/plugin/android/guimodel/ANDROIDGUIElementSpec.java
===================================================================
--- trunk/autoquest-plugin-android/src/main/java/de/ugoe/cs/autoquest/plugin/android/guimodel/ANDROIDGUIElementSpec.java	(revision 2146)
+++ trunk/autoquest-plugin-android/src/main/java/de/ugoe/cs/autoquest/plugin/android/guimodel/ANDROIDGUIElementSpec.java	(revision 2207)
@@ -262,6 +262,4 @@
      * Set the position of the element in the original GUI.
      * </p>
-     * 
-     * @param elementPosition
      */
     public void setElementPosition(int elementPosition) {
@@ -327,7 +325,5 @@
      * <p>
      * Sets the type hierarchy of the specified GUI element.
-     * 
-     * @param typeHierarchy
-     *            </p>
+     * </p>
      */
     public void setTypeHierarchy(List<String> typeHierarchy) {