JavaPatternMatching/resources/insertGenerics/javFiles/TestVectorArg.jav

import java.util.Vector;

public class TestVectorArg {

    add(v, e) {
		v.addElement(e);
    }

    main(v, e) {
		add(v, e);
    }
}