JavaTXCompilerInJavaTX/resources/insertGenerics/javFiles/TestVector.jav

import java.util.Vector;

public class TestVector {

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