WALA/com.ibm.wala.core.testdata/src/defaultMethods/Interface2.java

package defaultMethods;

public interface Interface2 {

  default int silly() {
    return 2;
  }
  
}