A_test1a.java

package defaultMethods_in;

public interface A_test1a {
	public default int foo() {
		/*[*/return 0;/*]*/
	}
}