JavaPatternMatching/resources/bytecode/javFiles/CC.jav

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

public class CC extends BB {
	public m(Integer i) {
	   return "CC"; 
	}
	
	public m2(CC x) { return "CC"; }
}