Release picocli version 4.1.1

remkop · Nov 26, 2019 · f914fdb · f914fdb
1 parent 83ac724
commit f914fdb
Show file tree

Hide file tree

Showing 133 changed files with 2,407 additions and 2,075 deletions.
diff --git a/README.md b/README.md
@@ -60,7 +60,7 @@ The user manual has an [example](https://picocli.info/#_guice_example) of integr
 
 ### Releases
 * [All Releases](https://github.com/remkop/picocli/releases)
-* Latest: 4.1.0 [Release Notes](https://github.com/remkop/picocli/releases/tag/v4.1.0)
+* Latest: 4.1.1 [Release Notes](https://github.com/remkop/picocli/releases/tag/v4.1.1)
 * Older: Picocli 4.0 [Release Notes](https://github.com/remkop/picocli/releases/tag/v4.0.0)
 * Older: Picocli 3.0 [Release Notes](https://github.com/remkop/picocli/releases/tag/v3.0.0)
 * Older: Picocli 2.0 [Release Notes](https://github.com/remkop/picocli/releases/tag/v2.0.0)
@@ -163,9 +163,9 @@ Join the [picocli Google group](https://groups.google.com/d/forum/picocli) if yo
 Glad to see more people are using picocli. We must be doing something right. :-) 
 
 ### Help to promote picocli
-If you like picocli and your project is on GitHub, consider adding this badge to your README.md: [![picocli](https://img.shields.io/badge/picocli-4.1.0-green.svg)](https://github.com/remkop/picocli)
+If you like picocli and your project is on GitHub, consider adding this badge to your README.md: [![picocli](https://img.shields.io/badge/picocli-4.1.1-green.svg)](https://github.com/remkop/picocli)
 ```
-[![picocli](https://img.shields.io/badge/picocli-4.1.0-green.svg)](https://github.com/remkop/picocli)
+[![picocli](https://img.shields.io/badge/picocli-4.1.1-green.svg)](https://github.com/remkop/picocli)
 ```
 
 
@@ -253,35 +253,35 @@ See the [source code](https://github.com/remkop/picocli/blob/master/src/main/jav
 
 ### Gradle
 ```
-compile 'info.picocli:picocli:4.1.0'
+compile 'info.picocli:picocli:4.1.1'
 ```
 ### Maven
 ```
 <dependency>
   <groupId>info.picocli</groupId>
   <artifactId>picocli</artifactId>
-  <version>4.1.0</version>
+  <version>4.1.1</version>
 </dependency>
 ```
 ### Scala SBT
 ```
-libraryDependencies += "info.picocli" % "picocli" % "4.1.0"
+libraryDependencies += "info.picocli" % "picocli" % "4.1.1"
 ```
 ### Ivy
 ```
-<dependency org="info.picocli" name="picocli" rev="4.1.0" />
+<dependency org="info.picocli" name="picocli" rev="4.1.1" />
 ```
 ### Grape
 ```groovy
 @Grapes(
-    @Grab(group='info.picocli', module='picocli', version='4.1.0')
+    @Grab(group='info.picocli', module='picocli', version='4.1.1')
 )
 ```
 ### Leiningen
 ```
-[info.picocli/picocli "4.1.0"]
+[info.picocli/picocli "4.1.1"]
 ```
 ### Buildr
 ```
-'info.picocli:picocli:jar:4.1.0'
+'info.picocli:picocli:jar:4.1.1'
 ```
diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
@@ -1,6 +1,6 @@
 # picocli Release Notes
 
-# <a name="4.1.1"></a> Picocli 4.1.1 (UNRELEASED)
+# <a name="4.1.1"></a> Picocli 4.1.1
 The picocli community is pleased to announce picocli 4.1.1.
 
 This release contains bugfixes, and documentation enhancements. 

diff --git a/docs/A-Whirlwind-Tour-of-Picocli.html b/docs/A-Whirlwind-Tour-of-Picocli.html
diff --git a/docs/announcing-picocli-1.0.html b/docs/announcing-picocli-1.0.html
diff --git a/docs/apidocs/allclasses-frame.html b/docs/apidocs/allclasses-frame.html
@@ -2,9 +2,9 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_202) on Fri Nov 22 18:38:44 JST 2019 -->
-<title>All Classes (picocli 4.1.0 API)</title>
-<meta name="date" content="2019-11-22">
+<!-- Generated by javadoc (1.8.0_202) on Wed Nov 27 00:20:41 JST 2019 -->
+<title>All Classes (picocli 4.1.1 API)</title>
+<meta name="date" content="2019-11-27">
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <script type="text/javascript" src="script.js"></script>
 </head>

diff --git a/docs/apidocs/allclasses-noframe.html b/docs/apidocs/allclasses-noframe.html
@@ -2,9 +2,9 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_202) on Fri Nov 22 18:38:44 JST 2019 -->
-<title>All Classes (picocli 4.1.0 API)</title>
-<meta name="date" content="2019-11-22">
+<!-- Generated by javadoc (1.8.0_202) on Wed Nov 27 00:20:41 JST 2019 -->
+<title>All Classes (picocli 4.1.1 API)</title>
+<meta name="date" content="2019-11-27">
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <script type="text/javascript" src="script.js"></script>
 </head>

diff --git a/docs/apidocs/constant-values.html b/docs/apidocs/constant-values.html
@@ -2,17 +2,17 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_202) on Fri Nov 22 18:38:44 JST 2019 -->
-<title>Constant Field Values (picocli 4.1.0 API)</title>
-<meta name="date" content="2019-11-22">
+<!-- Generated by javadoc (1.8.0_202) on Wed Nov 27 00:20:40 JST 2019 -->
+<title>Constant Field Values (picocli 4.1.1 API)</title>
+<meta name="date" content="2019-11-27">
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <script type="text/javascript" src="script.js"></script>
 </head>
 <body>
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="Constant Field Values (picocli 4.1.0 API)";
+            parent.document.title="Constant Field Values (picocli 4.1.1 API)";
         }
     }
     catch(err) {
@@ -141,7 +141,7 @@ <h2 title="picocli">picocli.*</h2>
 <!--   -->
 </a><code>public&nbsp;static&nbsp;final&nbsp;<a href="https://docs.oracle.com/javase/8/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang">String</a></code></td>
 <td><code><a href="picocli/CommandLine.html#VERSION">VERSION</a></code></td>
-<td class="colLast"><code>"4.1.0"</code></td>
+<td class="colLast"><code>"4.1.1"</code></td>
 </tr>
 </tbody>
 </table>

diff --git a/docs/apidocs/deprecated-list.html b/docs/apidocs/deprecated-list.html
@@ -2,17 +2,17 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_202) on Fri Nov 22 18:38:44 JST 2019 -->
-<title>Deprecated List (picocli 4.1.0 API)</title>
-<meta name="date" content="2019-11-22">
+<!-- Generated by javadoc (1.8.0_202) on Wed Nov 27 00:20:40 JST 2019 -->
+<title>Deprecated List (picocli 4.1.1 API)</title>
+<meta name="date" content="2019-11-27">
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <script type="text/javascript" src="script.js"></script>
 </head>
 <body>
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="Deprecated List (picocli 4.1.0 API)";
+            parent.document.title="Deprecated List (picocli 4.1.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/apidocs/help-doc.html b/docs/apidocs/help-doc.html
@@ -2,17 +2,17 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_202) on Fri Nov 22 18:38:44 JST 2019 -->
-<title>API Help (picocli 4.1.0 API)</title>
-<meta name="date" content="2019-11-22">
+<!-- Generated by javadoc (1.8.0_202) on Wed Nov 27 00:20:41 JST 2019 -->
+<title>API Help (picocli 4.1.1 API)</title>
+<meta name="date" content="2019-11-27">
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <script type="text/javascript" src="script.js"></script>
 </head>
 <body>
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="API Help (picocli 4.1.0 API)";
+            parent.document.title="API Help (picocli 4.1.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/apidocs/index-all.html b/docs/apidocs/index-all.html
@@ -2,17 +2,17 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_202) on Fri Nov 22 18:38:44 JST 2019 -->
-<title>Index (picocli 4.1.0 API)</title>
-<meta name="date" content="2019-11-22">
+<!-- Generated by javadoc (1.8.0_202) on Wed Nov 27 00:20:40 JST 2019 -->
+<title>Index (picocli 4.1.1 API)</title>
+<meta name="date" content="2019-11-27">
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <script type="text/javascript" src="script.js"></script>
 </head>
 <body>
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="Index (picocli 4.1.0 API)";
+            parent.document.title="Index (picocli 4.1.1 API)";
         }
     }
     catch(err) {
@@ -4271,7 +4271,7 @@ <h2 class="title">V</h2>
 </dd>
 <dt><span class="memberNameLink"><a href="picocli/CommandLine.html#VERSION">VERSION</a></span> - Static variable in class picocli.<a href="picocli/CommandLine.html" title="class in picocli">CommandLine</a></dt>
 <dd>
-<div class="block">This is picocli version "4.1.0".</div>
+<div class="block">This is picocli version "4.1.1".</div>
 </dd>
 <dt><span class="memberNameLink"><a href="picocli/CommandLine.Model.OptionSpec.Builder.html#versionHelp--">versionHelp()</a></span> - Method in class picocli.<a href="picocli/CommandLine.Model.OptionSpec.Builder.html" title="class in picocli">CommandLine.Model.OptionSpec.Builder</a></dt>
 <dd>

diff --git a/docs/apidocs/index.html b/docs/apidocs/index.html
@@ -2,8 +2,8 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_202) on Fri Nov 22 18:38:44 JST 2019 -->
-<title>picocli 4.1.0 API</title>
+<!-- Generated by javadoc (1.8.0_202) on Wed Nov 27 00:20:41 JST 2019 -->
+<title>picocli 4.1.1 API</title>
 <script type="text/javascript">
     tmpTargetPage = "" + window.location.search;
     if (tmpTargetPage != "" && tmpTargetPage != "undefined")

diff --git a/docs/apidocs/overview-summary.html b/docs/apidocs/overview-summary.html
@@ -2,17 +2,17 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_202) on Fri Nov 22 18:38:44 JST 2019 -->
-<title>Overview (picocli 4.1.0 API)</title>
-<meta name="date" content="2019-11-22">
+<!-- Generated by javadoc (1.8.0_202) on Wed Nov 27 00:20:41 JST 2019 -->
+<title>Overview (picocli 4.1.1 API)</title>
+<meta name="date" content="2019-11-27">
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <script type="text/javascript" src="script.js"></script>
 </head>
 <body>
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="Overview (picocli 4.1.0 API)";
+            parent.document.title="Overview (picocli 4.1.1 API)";
         }
     }
     catch(err) {
@@ -69,7 +69,7 @@
 </a></div>
 <!-- ========= END OF TOP NAVBAR ========= -->
 <div class="header">
-<h1 class="title">picocli 4.1.0 API</h1>
+<h1 class="title">picocli 4.1.1 API</h1>
 </div>
 <div class="header">
 <div class="subTitle">

diff --git a/docs/apidocs/overview-tree.html b/docs/apidocs/overview-tree.html
@@ -2,17 +2,17 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_202) on Fri Nov 22 18:38:44 JST 2019 -->
-<title>Class Hierarchy (picocli 4.1.0 API)</title>
-<meta name="date" content="2019-11-22">
+<!-- Generated by javadoc (1.8.0_202) on Wed Nov 27 00:20:40 JST 2019 -->
+<title>Class Hierarchy (picocli 4.1.1 API)</title>
+<meta name="date" content="2019-11-27">
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <script type="text/javascript" src="script.js"></script>
 </head>
 <body>
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="Class Hierarchy (picocli 4.1.0 API)";
+            parent.document.title="Class Hierarchy (picocli 4.1.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/apidocs/picocli/AutoComplete.GenerateCompletion.html b/docs/apidocs/picocli/AutoComplete.GenerateCompletion.html
@@ -2,17 +2,17 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_202) on Fri Nov 22 18:38:40 JST 2019 -->
-<title>AutoComplete.GenerateCompletion (picocli 4.1.0 API)</title>
-<meta name="date" content="2019-11-22">
+<!-- Generated by javadoc (1.8.0_202) on Wed Nov 27 00:20:32 JST 2019 -->
+<title>AutoComplete.GenerateCompletion (picocli 4.1.1 API)</title>
+<meta name="date" content="2019-11-27">
 <link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
 <script type="text/javascript" src="../script.js"></script>
 </head>
 <body>
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="AutoComplete.GenerateCompletion (picocli 4.1.0 API)";
+            parent.document.title="AutoComplete.GenerateCompletion (picocli 4.1.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/apidocs/picocli/AutoComplete.html b/docs/apidocs/picocli/AutoComplete.html
@@ -2,17 +2,17 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_202) on Fri Nov 22 18:38:40 JST 2019 -->
-<title>AutoComplete (picocli 4.1.0 API)</title>
-<meta name="date" content="2019-11-22">
+<!-- Generated by javadoc (1.8.0_202) on Wed Nov 27 00:20:32 JST 2019 -->
+<title>AutoComplete (picocli 4.1.1 API)</title>
+<meta name="date" content="2019-11-27">
 <link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
 <script type="text/javascript" src="../script.js"></script>
 </head>
 <body>
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="AutoComplete (picocli 4.1.0 API)";
+            parent.document.title="AutoComplete (picocli 4.1.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/apidocs/picocli/CommandLine.AbstractHandler.html b/docs/apidocs/picocli/CommandLine.AbstractHandler.html
@@ -2,17 +2,17 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_202) on Fri Nov 22 18:38:41 JST 2019 -->
-<title>CommandLine.AbstractHandler (picocli 4.1.0 API)</title>
-<meta name="date" content="2019-11-22">
+<!-- Generated by javadoc (1.8.0_202) on Wed Nov 27 00:20:35 JST 2019 -->
+<title>CommandLine.AbstractHandler (picocli 4.1.1 API)</title>
+<meta name="date" content="2019-11-27">
 <link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
 <script type="text/javascript" src="../script.js"></script>
 </head>
 <body>
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="CommandLine.AbstractHandler (picocli 4.1.0 API)";
+            parent.document.title="CommandLine.AbstractHandler (picocli 4.1.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/apidocs/picocli/CommandLine.AbstractParseResultHandler.html b/docs/apidocs/picocli/CommandLine.AbstractParseResultHandler.html
@@ -2,17 +2,17 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_202) on Fri Nov 22 18:38:41 JST 2019 -->
-<title>CommandLine.AbstractParseResultHandler (picocli 4.1.0 API)</title>
-<meta name="date" content="2019-11-22">
+<!-- Generated by javadoc (1.8.0_202) on Wed Nov 27 00:20:35 JST 2019 -->
+<title>CommandLine.AbstractParseResultHandler (picocli 4.1.1 API)</title>
+<meta name="date" content="2019-11-27">
 <link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
 <script type="text/javascript" src="../script.js"></script>
 </head>
 <body>
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="CommandLine.AbstractParseResultHandler (picocli 4.1.0 API)";
+            parent.document.title="CommandLine.AbstractParseResultHandler (picocli 4.1.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/apidocs/picocli/CommandLine.ArgGroup.html b/docs/apidocs/picocli/CommandLine.ArgGroup.html
@@ -2,17 +2,17 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_202) on Fri Nov 22 18:38:41 JST 2019 -->
-<title>CommandLine.ArgGroup (picocli 4.1.0 API)</title>
-<meta name="date" content="2019-11-22">
+<!-- Generated by javadoc (1.8.0_202) on Wed Nov 27 00:20:35 JST 2019 -->
+<title>CommandLine.ArgGroup (picocli 4.1.1 API)</title>
+<meta name="date" content="2019-11-27">
 <link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
 <script type="text/javascript" src="../script.js"></script>
 </head>
 <body>
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="CommandLine.ArgGroup (picocli 4.1.0 API)";
+            parent.document.title="CommandLine.ArgGroup (picocli 4.1.1 API)";
         }
     }
     catch(err) {