gistfile1.java

//True hardcode to allow to define manager in spring
public class MyWebSecurityManager extends DefaultWebSecurityManager {

	private SessionManager savedSessionManager;

	@Override
	protected SessionManager createSessionManager(String sessionMode) {
		return savedSessionManager;
	}

	@Override
	public void setSessionManager(SessionManager sessionManager) {
		super.setSessionManager(sessionManager);
		if (savedSessionManager != sessionManager) {
			savedSessionManager = sessionManager;
		}
	}
}