Release picocli version 4.3.1

remkop · May 14, 2020 · 629b66c · 629b66c
1 parent 0e17102
commit 629b66c
Show file tree

Hide file tree

Showing 157 changed files with 676 additions and 649 deletions.
diff --git a/README.md b/README.md
@@ -73,7 +73,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.3.0 [Release Notes](https://github.com/remkop/picocli/releases/tag/v4.3.0)
+* Latest: 4.3.1 [Release Notes](https://github.com/remkop/picocli/releases/tag/v4.3.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)
@@ -195,9 +195,9 @@ If you like picocli, there are a few things you can do to help:
 * Upvote my [StackOverflow answer](https://stackoverflow.com/a/43780433/1446916) to "How do I parse command line arguments in Java?"
 * Tweet about picocli! What do you like about it? How has it helped you? How is it different from the alternatives?
 
-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.3.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.3.1-green.svg)](https://github.com/remkop/picocli)
 ```
-[![picocli](https://img.shields.io/badge/picocli-4.3.0-green.svg)](https://github.com/remkop/picocli)
+[![picocli](https://img.shields.io/badge/picocli-4.3.1-green.svg)](https://github.com/remkop/picocli)
 ```
 
 
@@ -285,35 +285,35 @@ See the [source code](https://github.com/remkop/picocli/blob/master/src/main/jav
 
 ### Gradle
 ```
-compile 'info.picocli:picocli:4.3.0'
+compile 'info.picocli:picocli:4.3.1'
 ```
 ### Maven
 ```
 <dependency>
   <groupId>info.picocli</groupId>
   <artifactId>picocli</artifactId>
-  <version>4.3.0</version>
+  <version>4.3.1</version>
 </dependency>
 ```
 ### Scala SBT
 ```
-libraryDependencies += "info.picocli" % "picocli" % "4.3.0"
+libraryDependencies += "info.picocli" % "picocli" % "4.3.1"
 ```
 ### Ivy
 ```
-<dependency org="info.picocli" name="picocli" rev="4.3.0" />
+<dependency org="info.picocli" name="picocli" rev="4.3.1" />
 ```
 ### Grape
 ```groovy
 @Grapes(
-    @Grab(group='info.picocli', module='picocli', version='4.3.0')
+    @Grab(group='info.picocli', module='picocli', version='4.3.1')
 )
 ```
 ### Leiningen
 ```
-[info.picocli/picocli "4.3.0"]
+[info.picocli/picocli "4.3.1"]
 ```
 ### Buildr
 ```
-'info.picocli:picocli:jar:4.3.0'
+'info.picocli:picocli:jar:4.3.1'
 ```
diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
@@ -1,7 +1,7 @@
 # picocli Release Notes
 
-# <a name="4.3.1"></a> Picocli 4.3.1 (UNRELEASED)
-The picocli community is slightly embarrassed to announce picocli 4.3.1.
+# <a name="4.3.1"></a> Picocli 4.3.1
+The picocli community is slightly embarrassed to announce picocli 4.3.1. :-)
 
 This release fixes some critical bugs:
 

diff --git a/docs/A-Whirlwind-Tour-of-Picocli.html b/docs/A-Whirlwind-Tour-of-Picocli.html
@@ -528,7 +528,7 @@
 <h1>A Whirlwind Tour of Picocli</h1>
 <div class="details">
 <span id="author" class="author">Remko Popma</span><br>
-<span id="revnumber">version 4.3.0</span>
+<span id="revnumber">version 4.3.1</span>
 </div>
 </div>
 <div id="content">
@@ -1966,7 +1966,7 @@ <h2 id="_conclusion">Conclusion</h2>
 </div>
 <div id="footer">
 <div id="footer-text">
-Version 4.3.0<br>
+Version 4.3.1<br>
 Last updated 2019-11-14 09:38:16 +0900
 </div>
 </div>

diff --git a/docs/announcing-picocli-1.0.html b/docs/announcing-picocli-1.0.html
@@ -528,7 +528,7 @@
 <h1>Announcing picocli 1.0 - a mighty tiny command line interface</h1>
 <div class="details">
 <span id="author" class="author">Remko Popma</span><br>
-<span id="revnumber">version 4.3.0,</span>
+<span id="revnumber">version 4.3.1,</span>
 <span id="revdate">2017-09-10</span>
 </div>
 </div>
@@ -652,7 +652,7 @@ <h2 id="_feedback_welcome">Feedback Welcome</h2>
 </div>
 <div id="footer">
 <div id="footer-text">
-Version 4.3.0<br>
+Version 4.3.1<br>
 Last updated 2018-12-02 18:44:56 +0900
 </div>
 </div>

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 Wed May 13 07:24:47 JST 2020 -->
-<title>All Classes (picocli 4.3.0 API)</title>
-<meta name="date" content="2020-05-13">
+<!-- Generated by javadoc (1.8.0_202) on Fri May 15 07:31:40 JST 2020 -->
+<title>All Classes (picocli 4.3.1 API)</title>
+<meta name="date" content="2020-05-15">
 <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 Wed May 13 07:24:47 JST 2020 -->
-<title>All Classes (picocli 4.3.0 API)</title>
-<meta name="date" content="2020-05-13">
+<!-- Generated by javadoc (1.8.0_202) on Fri May 15 07:31:40 JST 2020 -->
+<title>All Classes (picocli 4.3.1 API)</title>
+<meta name="date" content="2020-05-15">
 <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 Wed May 13 07:24:47 JST 2020 -->
-<title>Constant Field Values (picocli 4.3.0 API)</title>
-<meta name="date" content="2020-05-13">
+<!-- Generated by javadoc (1.8.0_202) on Fri May 15 07:31:40 JST 2020 -->
+<title>Constant Field Values (picocli 4.3.1 API)</title>
+<meta name="date" content="2020-05-15">
 <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.3.0 API)";
+            parent.document.title="Constant Field Values (picocli 4.3.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.3.0"</code></td>
+<td class="colLast"><code>"4.3.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 Wed May 13 07:24:47 JST 2020 -->
-<title>Deprecated List (picocli 4.3.0 API)</title>
-<meta name="date" content="2020-05-13">
+<!-- Generated by javadoc (1.8.0_202) on Fri May 15 07:31:40 JST 2020 -->
+<title>Deprecated List (picocli 4.3.1 API)</title>
+<meta name="date" content="2020-05-15">
 <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.3.0 API)";
+            parent.document.title="Deprecated List (picocli 4.3.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 Wed May 13 07:24:47 JST 2020 -->
-<title>API Help (picocli 4.3.0 API)</title>
-<meta name="date" content="2020-05-13">
+<!-- Generated by javadoc (1.8.0_202) on Fri May 15 07:31:40 JST 2020 -->
+<title>API Help (picocli 4.3.1 API)</title>
+<meta name="date" content="2020-05-15">
 <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.3.0 API)";
+            parent.document.title="API Help (picocli 4.3.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 Wed May 13 07:24:47 JST 2020 -->
-<title>Index (picocli 4.3.0 API)</title>
-<meta name="date" content="2020-05-13">
+<!-- Generated by javadoc (1.8.0_202) on Fri May 15 07:31:40 JST 2020 -->
+<title>Index (picocli 4.3.1 API)</title>
+<meta name="date" content="2020-05-15">
 <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.3.0 API)";
+            parent.document.title="Index (picocli 4.3.1 API)";
         }
     }
     catch(err) {
@@ -4547,7 +4547,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.3.0".</div>
+<div class="block">This is picocli version "4.3.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 Wed May 13 07:24:47 JST 2020 -->
-<title>picocli 4.3.0 API</title>
+<!-- Generated by javadoc (1.8.0_202) on Fri May 15 07:31:40 JST 2020 -->
+<title>picocli 4.3.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 Wed May 13 07:24:47 JST 2020 -->
-<title>Overview (picocli 4.3.0 API)</title>
-<meta name="date" content="2020-05-13">
+<!-- Generated by javadoc (1.8.0_202) on Fri May 15 07:31:40 JST 2020 -->
+<title>Overview (picocli 4.3.1 API)</title>
+<meta name="date" content="2020-05-15">
 <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.3.0 API)";
+            parent.document.title="Overview (picocli 4.3.1 API)";
         }
     }
     catch(err) {
@@ -69,7 +69,7 @@
 </a></div>
 <!-- ========= END OF TOP NAVBAR ========= -->
 <div class="header">
-<h1 class="title">picocli 4.3.0 API</h1>
+<h1 class="title">picocli 4.3.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 Wed May 13 07:24:47 JST 2020 -->
-<title>Class Hierarchy (picocli 4.3.0 API)</title>
-<meta name="date" content="2020-05-13">
+<!-- Generated by javadoc (1.8.0_202) on Fri May 15 07:31:40 JST 2020 -->
+<title>Class Hierarchy (picocli 4.3.1 API)</title>
+<meta name="date" content="2020-05-15">
 <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.3.0 API)";
+            parent.document.title="Class Hierarchy (picocli 4.3.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 Wed May 13 07:24:45 JST 2020 -->
-<title>AutoComplete.GenerateCompletion (picocli 4.3.0 API)</title>
-<meta name="date" content="2020-05-13">
+<!-- Generated by javadoc (1.8.0_202) on Fri May 15 07:31:37 JST 2020 -->
+<title>AutoComplete.GenerateCompletion (picocli 4.3.1 API)</title>
+<meta name="date" content="2020-05-15">
 <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.3.0 API)";
+            parent.document.title="AutoComplete.GenerateCompletion (picocli 4.3.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 Wed May 13 07:24:45 JST 2020 -->
-<title>AutoComplete (picocli 4.3.0 API)</title>
-<meta name="date" content="2020-05-13">
+<!-- Generated by javadoc (1.8.0_202) on Fri May 15 07:31:37 JST 2020 -->
+<title>AutoComplete (picocli 4.3.1 API)</title>
+<meta name="date" content="2020-05-15">
 <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.3.0 API)";
+            parent.document.title="AutoComplete (picocli 4.3.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 Wed May 13 07:24:45 JST 2020 -->
-<title>CommandLine.AbstractHandler (picocli 4.3.0 API)</title>
-<meta name="date" content="2020-05-13">
+<!-- Generated by javadoc (1.8.0_202) on Fri May 15 07:31:38 JST 2020 -->
+<title>CommandLine.AbstractHandler (picocli 4.3.1 API)</title>
+<meta name="date" content="2020-05-15">
 <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.3.0 API)";
+            parent.document.title="CommandLine.AbstractHandler (picocli 4.3.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 Wed May 13 07:24:45 JST 2020 -->
-<title>CommandLine.AbstractParseResultHandler (picocli 4.3.0 API)</title>
-<meta name="date" content="2020-05-13">
+<!-- Generated by javadoc (1.8.0_202) on Fri May 15 07:31:38 JST 2020 -->
+<title>CommandLine.AbstractParseResultHandler (picocli 4.3.1 API)</title>
+<meta name="date" content="2020-05-15">
 <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.3.0 API)";
+            parent.document.title="CommandLine.AbstractParseResultHandler (picocli 4.3.1 API)";
         }
     }
     catch(err) {