diff --git a/src/peers/gov/nasa/jpf/vm/JPF_sun_reflect_Reflection.java b/src/peers/gov/nasa/jpf/vm/JPF_jdk_internal_reflect_Reflection.java similarity index 96% rename from src/peers/gov/nasa/jpf/vm/JPF_sun_reflect_Reflection.java rename to src/peers/gov/nasa/jpf/vm/JPF_jdk_internal_reflect_Reflection.java index deddc30d..46a9e7d8 100644 --- a/src/peers/gov/nasa/jpf/vm/JPF_sun_reflect_Reflection.java +++ b/src/peers/gov/nasa/jpf/vm/JPF_jdk_internal_reflect_Reflection.java @@ -20,7 +20,7 @@ import gov.nasa.jpf.annotation.MJI; -public class JPF_sun_reflect_Reflection extends NativePeer { +public class JPF_jdk_internal_reflect_Reflection extends NativePeer { @MJI public int getCallerClass__I__Ljava_lang_Class_2(MJIEnv env, int clsObjRef, int offset){