JavaPatternMatching/resources/bytecode/javFiles/Bug98.jav

import java.util.Vector;
import java.lang.Integer;
import java.lang.String;

public class Bug98 {

	public m(x, y ,z) {
		x = new Vector<Integer>();
		y = new Vector<String>();
		x.add(1);
		y.add("2");
		//Integer i = x.elementAt(0);
		//String s = y.elementAt(0);
	    return 	z.vectorAddAll(x, y);
	}
}