public class BadList_1 extends java.util.ArrayList {
	public java.util.ArrayList foo() { return null; }
}