From 3faa7cac4d24d6dbd7883f99558cbfe44d95bf50 Mon Sep 17 00:00:00 2001
From: Juergen Hoeller <juergen.hoeller@broadcom.com>
Date: Sun, 30 Nov 2025 11:41:24 +0100
Subject: [PATCH] Polishing

---
 .../springframework/http/server/ServletServerHttpRequest.java  | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/spring-web/src/main/java/org/springframework/http/server/ServletServerHttpRequest.java b/spring-web/src/main/java/org/springframework/http/server/ServletServerHttpRequest.java
index 7cebbd4af32..0cb338fa9c9 100644
--- a/spring-web/src/main/java/org/springframework/http/server/ServletServerHttpRequest.java
+++ b/spring-web/src/main/java/org/springframework/http/server/ServletServerHttpRequest.java
@@ -209,6 +209,7 @@ public class ServletServerHttpRequest implements ServerHttpRequest {
 	}
 
 	@Override
+	@Nullable
 	public Principal getPrincipal() {
 		return this.servletRequest.getUserPrincipal();
 	}
@@ -329,7 +330,6 @@ public class ServletServerHttpRequest implements ServerHttpRequest {
 		@Nullable
 		private transient Set<Entry<String, Object>> entrySet;
 
-
 		@Override
 		public int size() {
 			int size = 0;
@@ -464,4 +464,5 @@ public class ServletServerHttpRequest implements ServerHttpRequest {
 			return entrySet;
 		}
 	}
+
 }