bad.minor = Minor.Any;
  public static InvalidTypeForEncoding extract(Any any)  {    try      {        EmptyExceptionHolder h =          (EmptyExceptionHolder) any.extract_Streamable();        return (InvalidTypeForEncoding) h.value;      }    catch (ClassCastException cex)      {        BAD_OPERATION bad =          new BAD_OPERATION("InvalidTypeForEncoding expected");        bad.initCause(cex);        throw bad;      }  }