code: protected final void fireMemberLeft(AgentContext leftContext) {
  		final EventSpace defSpace = leftContext.getDefaultSpace();
  		defSpace.emit(
  				// No need to give an event source because the event's source is explicitly set below.
  				null,
  				new MemberLeft(defSpace.getAddress(getOwner().getID()), getOwner().getID(), getOwner().getClass().getName()));
  	}
docs: Fires an {@link MemberLeft} event into the default space of the Context that will be left to notify other context's members
  that an agent has left this context.
  
  @param leftContext the context that will be left