JavaTXCompilerInJavaTXNoMaven/resources/bytecode/javFiles/Put.jav

import java.util.Vector;
import java.util.Stack;

public class Put {

    public putElement(ele, v) {
	    v.addElement(ele);
    }

    public putElement(ele, s) {
	    s.push(ele);
    }


    public main(ele, x) {
        putElement(ele, x);
    }

}