JavaTXCompilerInJavaTX/src/test/resources/bytecode/javFiles/Inherit.jav

import java.util.Vector;

import java.lang.Integer;
import java.lang.String;


public class Inherit {

//AA aafield;
	//m(Integer i) { return "AA"; }
	
	main(d, i) {
	  return d.m(i);
	}

	main(v, i) {
		var aa = v.elementAt(0);
		return aa.m(i);
	}

}