From 92a262b39d7d95fd50153864cac0d49014b57fe8 Mon Sep 17 00:00:00 2001
From: Brian Demers <bdemers@apache.org>
Date: Wed, 27 May 2020 10:52:59 -0400
Subject: [PATCH] Fix old java diamond compile error

---
 .../java/picocli/codegen/docgen/manpage/ManPageGenerator.java   | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/picocli-codegen/src/main/java/picocli/codegen/docgen/manpage/ManPageGenerator.java b/picocli-codegen/src/main/java/picocli/codegen/docgen/manpage/ManPageGenerator.java
index 130426fc..1ada3481 100644
--- a/picocli-codegen/src/main/java/picocli/codegen/docgen/manpage/ManPageGenerator.java
+++ b/picocli-codegen/src/main/java/picocli/codegen/docgen/manpage/ManPageGenerator.java
@@ -464,7 +464,7 @@ public class ManPageGenerator {
     }
 
     static void genPositionalArgs(PrintWriter pw, CommandSpec spec) {
-        List<PositionalParamSpec> positionals = new ArrayList<>(spec.positionalParameters());
+        List<PositionalParamSpec> positionals = new ArrayList<PositionalParamSpec>(spec.positionalParameters());
         // remove hidden params
         for (Iterator<PositionalParamSpec> iter = positionals.iterator(); iter.hasNext();) {
             if (iter.next().hidden()) { iter.remove(); }