catch (ClassCastException ex)
} catch (Exception ex)
  public Serializable extract_Value()                             throws BAD_OPERATION  {    try      {        return ((ValueBaseHolder) has).value;      }    catch (ClassCastException ex)      {        return new BAD_OPERATION("Value type expected");      }  }