JavaCompilerCore/resources/insertGenerics/javFiles/TestVector.jav

import java.util.Vector;

public class TestVector {

	m(v, w) {
	    w.addElement(id(v.elementAt(0)));
	}
	
	id(x) {
		return x;
	}
}