From 6fbaa7dbb4a20710ad7eee8232df19c8414e0e72 Mon Sep 17 00:00:00 2001
From: Stephane Maldini <smaldini@pivotal.io>
Date: Wed, 27 Apr 2016 22:08:51 +0100
Subject: [PATCH] compile time issue

---
 .../web/server/session/DefaultWebSessionManager.java            | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spring-web-reactive/src/main/java/org/springframework/web/server/session/DefaultWebSessionManager.java b/spring-web-reactive/src/main/java/org/springframework/web/server/session/DefaultWebSessionManager.java
index 7f8db375d0..64a5e58b2e 100644
--- a/spring-web-reactive/src/main/java/org/springframework/web/server/session/DefaultWebSessionManager.java
+++ b/spring-web-reactive/src/main/java/org/springframework/web/server/session/DefaultWebSessionManager.java
@@ -110,7 +110,7 @@ public class DefaultWebSessionManager implements WebSessionManager {
 	protected Mono<WebSession> validateSession(ServerWebExchange exchange, WebSession session) {
 		if (session.isExpired()) {
 			this.sessionIdResolver.setSessionId(exchange, "");
-			return this.sessionStore.removeSession(session.getId()).then(Mono::empty);
+			return this.sessionStore.removeSession(session.getId()).cast(WebSession.class);
 		}
 		else {
 			return Mono.just(session);