JavaTXCompilerInJavaTX/resources/bytecode/javFiles/Vector.jav

import java.util.ArrayList;
import java.util.Vector;
import java.lang.Object;

class MyVector{

id(x){
  Object i;
  x.add(i);
  x.add(i);
  x.add(i);
  x.add(i);
  x.add(i);
  x.add(i);
  x.add(i);
  x.add(i);
  x.add(i);
  x.add(i);
  x.add(i);
  x.add(i);
  return x;
}
}