JavaTXCompilerInJavaTX/resources/bytecode/javFiles/AA.jav

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

public class AA {
	m(Integer i) { return "AA"; }
	
	m2(AA x) { return "AA"; }
}