src/JNIHelper.h
void discard()
  {
    if (m_detail != NULL) {
      delete m_detail;
    }
  }
/**
   * Discard this exception. Mainly clean up the original Java exception.
   */
Discard this exception. Mainly clean up the original Java exception.
Discard this exception . Mainly clean up the original Java exception .
void discard()
  {
    if (m_detail != NULL) {
      delete m_detail;
    }
  }
void discard ( ) { if ( m_detail != NULL ) { delete m_detail ; } }
Discard this exception.
Discard this exception .