---

JavaIoObjectStreamClassReflection.java

package gov.nasa.arc.ase.jpf.jvm.reflection;

import gov.nasa.arc.ase.jpf.jvm.*;
import gov.nasa.arc.ase.jpf.jvm.bytecode.Instruction;

public class JavaIoObjectStreamClassReflection extends Reflection {
  public Instruction executeStaticMethod(MethodInfo mi) {
    String name = mi.getFullName();

    if(name.equals("initNative()V")) {
      return exit();
    }

    return super.executeMethod(mi);
  }  
}

---