docs: protected void fireContextDestroyed(AgentContext context) {
  		final ContextRepositoryListener[] ilisteners = this.listeners.getListeners(ContextRepositoryListener.class);
  		this.logger.getKernelLogger().info(MessageFormat.format(Messages.StandardContextSpaceService_1, context.getID()));
  		for (final ContextRepositoryListener listener : ilisteners) {
  			listener.contextDestroyed(context);
  		}
  	}