JavaPatternMatching/resources/insertGenericsJav/TestVector.jav

import java.util.Vector;

public class TestVector {

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