A_test4.java

package selection;

public class A_test4 {
	public void foo() {
		/*]*/foo()/*[*/;
	}
}