From 0a546e64f33cf89a33e7f42f11a7c3108c770c4d Mon Sep 17 00:00:00 2001
From: Foivos Zakkak <fzakkak@redhat.com>
Date: Wed, 16 Aug 2023 16:48:25 +0300
Subject: [PATCH] Avoid printing "Alternative API option(s):" when non are
 present

---
 .../src/com/oracle/svm/hosted/ProgressReporter.java             | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/substratevm/src/com.oracle.svm.hosted/src/com/oracle/svm/hosted/ProgressReporter.java b/substratevm/src/com.oracle.svm.hosted/src/com/oracle/svm/hosted/ProgressReporter.java
index 1299d44fc9a3..9b4b147a2d5f 100644
--- a/substratevm/src/com.oracle.svm.hosted/src/com/oracle/svm/hosted/ProgressReporter.java
+++ b/substratevm/src/com.oracle.svm.hosted/src/com/oracle/svm/hosted/ProgressReporter.java
@@ -334,7 +334,7 @@ private void printExperimentalOptions() {
             l().a(" ").a(optionToOriginEntry.getKey()).println();
             ExperimentalOptionDetails details = optionToOriginEntry.getValue();
             l().a("   Origin: ").a(details.origin).println();
-            if (details.alternatives != null) {
+            if (details.alternatives != null && !details.alternatives.isEmpty()) {
                 l().a("   Alternative API option(s): " + details.alternatives).println();
             }
         }