question: private void handleRemoteWorkerLost ( final IStateQueue stateQueue ) { keepAliveTimer . cancel ( ) ; if ( cleanupGlobals . compareAndSet ( true , false ) ) { tlcServer . removeTLCServerThread ( this ) ; if ( stateQueue != null ) { stateQueue . sEnqueue ( states != null ? states : new TLCState [ 0 ] ) ; } states = new TLCState [ 0 ] ; if ( stateQueue != null ) { synchronized ( stateQueue ) { stateQueue . notifyAll ( ) ; } } TLCGlobals . decNumWorkers ( ) ; } }
target:  Handles the case of a disconnected remote worker