throw new BAD_OPERATION("Binding type expected");
BAD_OPERATION bad = new BAD_OPERATION("Binding type expected"); bad.initCause(ex); throw bad;
  public static BindingType extract(Any any)  {    try      {        return ((BindingTypeHolder) any.extract_Streamable()).value;      }    catch (ClassCastException ex)      {        throw new BAD_OPERATION("Binding type expected");      }  }