diff --git a/benchexec/tools/ultimate.py b/benchexec/tools/ultimate.py
index 95c358d25..219a735d9 100644
--- a/benchexec/tools/ultimate.py
+++ b/benchexec/tools/ultimate.py
@@ -475,16 +475,11 @@ def get_java_installations(self):
             "/usr/lib/jvm/java-*-openjdk-amd64/bin/java",
         ]
 
-        candidates_extended = []
-        for c in candidates:
-            if "*" in c:
-                candidates_extended += glob.glob(c)
-            else:
-                candidates_extended += [c]
+        candidates = [c for entry in candidates for c in glob.glob(entry)]
         pattern = r'"(\d+\.\d+).*"'
 
         rtr = {}
-        for c in candidates_extended:
+        for c in candidates:
             candidate = shutil.which(c)
             if not candidate:
                 continue