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"; }

	main2(d, i) {
	  return d.m(i);
	}

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

}