From c309ad24a5bb968d1c2344be7e5c1956e0dd9ddf Mon Sep 17 00:00:00 2001
From: Remko Popma <remkop@yahoo.com>
Date: Sat, 3 Jun 2023 09:33:59 +0900
Subject: [PATCH] [#2026][#2027] replace Java 6 API with Java 5 API

---
 src/main/java/picocli/CommandLine.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/java/picocli/CommandLine.java b/src/main/java/picocli/CommandLine.java
index d370511a6..d1df85b16 100644
--- a/src/main/java/picocli/CommandLine.java
+++ b/src/main/java/picocli/CommandLine.java
@@ -18711,7 +18711,7 @@ private static String str(List<String> list) {
         private List<String> prefixCommandName(List<String> suggestions)
         {
             String commandName = this.commandLine.commandSpec.name;
-            if(commandName == null || commandName.trim().isEmpty()) { return suggestions; }
+            if(commandName == null || commandName.trim().length() == 0) { return suggestions; }
             List<String> prefixedSuggestions = new ArrayList<String>();
             for (String s : suggestions) {
                 prefixedSuggestions.add(commandName + " " + s);