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