throw new BAD_OPERATION("ServiceContext[] expected.");
BAD_OPERATION bad = new BAD_OPERATION("ServiceContext[] expected"); bad.minor = Minor.Any; bad.initCause(ex); throw bad;
  public static ServiceContext[] extract(Any any)  {    try      {        ServiceContextListHolder holder =          (ServiceContextListHolder) any.extract_Streamable();        return holder.value;      }    catch (ClassCastException ex)      {        throw new BAD_OPERATION("ServiceContext[] expected.");      }  }