JavaTXCompilerInJavaTX/resources/bytecode/javFiles/VectorSuper.jav

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

public class VectorSuper {
	
	m(x){
		Integer y = 1;
		x.addElement(y);
		//return x;
	}
}