public void unregisterExceptionMonitor ( ExceptionMonitor monitor ) { synchronized ( this ) { if ( monitor == null || ! monitor . equals ( m_exceptionMonitor ) ) { return ; } m_exceptionMonitor = null ; } }
Unregister a ExceptionMonitor with the source .