From 3e0d721f88e719d104c01047f3b1177aa8a9ca11 Mon Sep 17 00:00:00 2001
From: Stefan Feuerhahn <stefan.feuerhahn@beanit.com>
Date: Tue, 8 Jun 2021 08:50:38 +0200
Subject: [PATCH] fixed diamond not supported in Java versions < 7

---
 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 bca16cc16..3cfa11baa 100644
--- a/src/main/java/picocli/CommandLine.java
+++ b/src/main/java/picocli/CommandLine.java
@@ -13292,7 +13292,7 @@ private void processArguments(List<CommandLine> parsedCommands,
                         tracer.debug("Subcommand '%s' has been matched before. Making a copy...%n", subcommand.getCommandName());
                         subcommand = subcommand.copy();
                         subcommand.getCommandSpec().parent(commandSpec.parent()); // hook it up with its parent
-                        inheritedInitialized = new LinkedHashSet<>(inheritedInitialized);
+                        inheritedInitialized = new LinkedHashSet<ArgSpec>(inheritedInitialized);
                     }
                     processSubcommand(subcommand, getParent().interpreter.parseResultBuilder, parsedCommands, args, required, inheritedInitialized, originalArgs, nowProcessing, separator, arg);
                     continue;