code: @Bean
  	public ServletListenerRegistrationBean<EventListener> monitoringSessionListener(
  			ServletContext servletContext) {
  		final ServletListenerRegistrationBean<EventListener> servletListenerRegistrationBean = new ServletListenerRegistrationBean<>(
  				new SessionListener());
  		if (servletContext.getFilterRegistration("javamelody") != null) {
  			// if webapp deployed as war in a container with MonitoringFilter and SessionListener already added by web-fragment.xml,
  			// do not add again
  			servletListenerRegistrationBean.setEnabled(false);
  		}
  		return servletListenerRegistrationBean;
  	}
docs: Registers the JavaMelody {@link SessionListener}.
  @param servletContext ServletContext
  @return ServletListenerRegistrationBean