bad.minor = Minor.Any;
  public static NamingContextExt extract(Any a)  {    try      {        return ((NamingContextExtHolder) a.extract_Streamable()).value;      }    catch (ClassCastException ex)      {        BAD_OPERATION bad = new BAD_OPERATION("NamingContextExt expected");        bad.initCause(ex);        throw bad;      }  }