!!! NOTE: this marks the beginning of Java 8 dependency for jpf-core compilation. From now on, we are free to use default methods and lambdas. added convenience Loggable and PrintStreamable interfaces that mix in the respective fat interfaces via default methods, so that we don't have to burn inheritance of respective target classes (they only have to provide getLogger() and getPrintStream() methods) added a abstract LoggablePeer so that model classes can implement Loggable with intercepted/native logging if they provide a respective concrete peer. added some more default interface method tests

package java8;

import gov.nasa.jpf.annotation.MJI;
import gov.nasa.jpf.vm.MJIEnv;
import gov.nasa.jpf.vm.NativePeer;

/**
 * Created by pcmehlitz on 4/1/15.
 */
public class JPF_java8_DefaultMethodTest$G1 extends NativePeer {
  @MJI
  public int foo____I (MJIEnv env, int objRef){
    System.out.println("this is native G1.foo()");
    return 42;
  }
}