only add variables to used, that aren't already there

git-svn-id: https://svn.code.sf.net/p/jode/code/trunk@379 379699f6-c40d-0410-875b-85095c16579e

jode/jode/flow/VariableStack.java

@@ -88,7 +88,8 @@ public class VariableStack {
 	}
 	Expression[] loads = new Expression[stackMap.length];
 	for (int i=0; i< stackMap.length; i++) {
-	    used.addElement(stackMap[i]);
+	    if (!used.contains(stackMap[i]))
+		used.addElement(stackMap[i]);
 	    loads[i] = new LocalLoadOperator(stackMap[i].getType(),
 					     stackMap[i]);
 	}