throw new MARSHAL("IOException while reading message header");
MARSHAL m = new MARSHAL("IOException while reading message header"); m.initCause(ex); m.minor = Minor.Header; throw m;
  public static Version read_version(java.io.InputStream in)  {    try      {        int major = in.read() & 0xFF;        int minor = in.read() & 0xFF;        return new Version(major, minor);      }    catch (IOException ex)      {        throw new MARSHAL("IOException while reading message header");      }  }