A_test713.java

package return_out;

public class A_test713 {
	public java.util.List foo() {
		return extracted();
	}

	protected java.util.List extracted() {
		/*[*/return null;/*]*/
	}
}