synchronized (this.pendingEvents)   { EventWrapper eventWrapper = new EventWrapper(); this.pendingEvents.add(eventWrapper);   this.pendingEvents.notify();   }
synchronized( this.pendingEvents) { this.isStopped = true; this.pendingEvents.notify(); }
	public void stop() {		if (this.refCount >  0 ) this.refCount --;		if (this.refCount == 0) {//ifndef SIMULATION//		synchronized (this.pendingEvents)//else/*			this.pendingEventsShadow.enterCriticalSection();			try//endif*/ 		  {			EventWrapper eventWrapper = new EventWrapper();			this.pendingEvents.add(eventWrapper);//ifdef SIMULATION/*			this.pendingEventsShadow.doNotify();//else*/			this.pendingEvents.notify();//endif//		}//ifdef SIMULATION/*		finally { this.pendingEventsShadow.leaveCriticalSection(); }//endif*/		}	}