UrlFormatter#getSettingsUrl: Annotate section parameter as @Nullable

Change-Id: I7213240c7177cf217b590b866817c3fd3a7d3dab

1 files changed, 1 insertions, 1 deletions

diff --git a/java/com/google/gerrit/server/config/UrlFormatter.java b/java/com/google/gerrit/server/config/UrlFormatter.java
index 5cec1ac2c4..9fb9842cb9 100644
--- a/java/com/google/gerrit/server/config/UrlFormatter.java
+++ b/java/com/google/gerrit/server/config/UrlFormatter.java
@@ -49,7 +49,7 @@ public interface UrlFormatter {
   }
 
   /** Returns a URL pointing to a section of the settings page. */
-  default Optional<String> getSettingsUrl(String section) {
+  default Optional<String> getSettingsUrl(@Nullable String section) {
     return getWebUrl()
         .map(url -> url + "settings" + (Strings.isNullOrEmpty(section) ? "" : "#" + section));
   }