3 import gov.nasa.jpf.annotation.MJI;
4 import gov.nasa.jpf.vm.MJIEnv;
5 import gov.nasa.jpf.vm.NativePeer;
8 * Created by pcmehlitz on 4/1/15.
10 public class JPF_java8_DefaultMethodTest$G1 extends NativePeer {
12 public int foo____I (MJIEnv env, int objRef){
13 System.out.println("this is native G1.foo()");