Index: /trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/guimodel/JFCGUIElementSpec.java
===================================================================
--- /trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/guimodel/JFCGUIElementSpec.java	(revision 1903)
+++ /trunk/autoquest-plugin-jfc/src/main/java/de/ugoe/cs/autoquest/plugin/jfc/guimodel/JFCGUIElementSpec.java	(revision 1904)
@@ -19,4 +19,5 @@
 
 import org.apache.commons.collections15.CollectionUtils;
+import org.apache.commons.lang.mutable.MutableInt;
 
 import de.ugoe.cs.autoquest.eventcore.guimodel.IGUIElement;
@@ -80,6 +81,6 @@
      * counted separately. This index is used for replaying programs such as Jacareto.
      * </p>
-     */
-    private int altIndex = -1;
+     */    
+    private MutableInt altIndex = new MutableInt(-1);
 
     /**
@@ -308,5 +309,5 @@
      */
     public int getAltIndex() {
-        return altIndex;
+        return altIndex.intValue();
     }
 
@@ -331,5 +332,5 @@
      */
     public void setAltIndex(int newAltIndex) {
-        altIndex = newAltIndex;
+        altIndex.setValue(newAltIndex);
     }
 
@@ -440,4 +441,5 @@
                 setName(other.name);
             }
+            other.altIndex = this.altIndex;
         }
     }