JPF_java_lang_Byte.java

//package gov.nasa.jpf.vm;
//
//import gov.nasa.jpf.annotation.MJI;
//import de.fosd.typechef.featureexpr.FeatureExpr;
//
//public class JPF_java_lang_Byte extends NativePeer {
//  // <2do> at this point we deliberately do not override clinit
//
////  @MJI
//  public int valueOf__B__Ljava_lang_Byte_2 (MJIEnv env, int clsRef, byte val, FeatureExpr ctx) {
//    return env.valueOfByte(ctx, val);
//  }
//}