Index: /trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/android/guimodel/AndroidGUIElementSpec.java
===================================================================
--- /trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/android/guimodel/AndroidGUIElementSpec.java	(revision 1753)
+++ /trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/android/guimodel/AndroidGUIElementSpec.java	(revision 1754)
@@ -118,4 +118,13 @@
 
 	/**
+	 * Set the hash code associated with the GUI element.
+	 * @param hash
+	 * 				the hash of an element object
+	 */
+	public void setHashCode(int hash){
+		this.hashCode = hash;
+	}
+	
+	/**
 	 * Set the path associated with the specified GUI element.
 	 * @param path
@@ -125,4 +134,16 @@
 		this.path = path;
 	}
+	
+	/**
+     * <p>
+     * Sets the type of the specified GUI element.
+     * </p>
+     * 
+     * @param type
+     *            the type
+     */
+    public void setType(String type) {
+        this.type = type;
+    }
 
 }