new file: ../../../main/java/de/dhbwstuttgart/typeinference/unify/model/hashKeyType.java

modified:   ../../resources/bytecode/javFiles/VectorSuper.jav

src/main/java/de/dhbwstuttgart/typeinference/unify/model/hashKeyType.java

@@ -0,0 +1,25 @@
+package de.dhbwstuttgart.typeinference.unify.model;
+
+public class hashKeyType {
+	UnifyType realType;
+	
+	hashKeyType(UnifyType realType) {
+		this.realType= realType;
+	}
+	
+	@Override
+	public boolean equals(Object obj) {
+		if (obj instanceof hashKeyType) {
+			return realType.equals(((hashKeyType)obj).realType);
+		}
+		else
+		{
+			return false;
+		}
+	}
+	
+	@Override
+	public int hashCode() {
+		return realType.hashCode();
+	}
+}

src/test/resources/bytecode/javFiles/VectorSuper.jav

@@ -4,7 +4,7 @@ import java.lang.Integer;
 public class VectorSuper {
 	
 	m(x){
-		Integer y;
+		Integer y = 1;
 		x.addElement(y);
 		//return x;
 	}