public static Class<?> obtainJVMCls(int JPFRef, MJIEnv env, FeatureExpr ctx) throws ConversionException { if (JPFRef == MJIEnv.NULL) { return null; } ClassInfo ci = env.getReferredClassInfo(ctx, JPFRef); JPF2JVMConverter converter = ConverterBase.converterFactory.getJPF2JVMConverter(ci.getName()); return converter.getJVMCls(JPFRef, env, ctx); }