Release picocli version 3.9.4

remkop · Feb 17, 2019 · 1323212 · 1323212
1 parent 4424be9
commit 1323212
Show file tree

Hide file tree

Showing 105 changed files with 417 additions and 417 deletions.
diff --git a/README.md b/README.md
@@ -45,7 +45,7 @@ Picocli-based applications can easily [integrate](https://picocli.info/#_depende
 ![Picocli Demo help message with ANSI colors](docs/images/picocli.Demo.png?raw=true)
 
 ### Releases
-* [Releases](https://github.com/remkop/picocli/releases) - Latest: 3.9.3 [Release Notes](https://github.com/remkop/picocli/releases/tag/v3.9.3)
+* [Releases](https://github.com/remkop/picocli/releases) - Latest: 3.9.4 [Release Notes](https://github.com/remkop/picocli/releases/tag/v3.9.4)
 * Older: Picocli 3.0.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)
 
@@ -181,35 +181,35 @@ See the [source code](https://github.com/remkop/picocli/blob/master/src/main/jav
 
 ### Gradle
 ```
-compile 'info.picocli:picocli:3.9.3'
+compile 'info.picocli:picocli:3.9.4'
 ```
 ### Maven
 ```
 <dependency>
   <groupId>info.picocli</groupId>
   <artifactId>picocli</artifactId>
-  <version>3.9.3</version>
+  <version>3.9.4</version>
 </dependency>
 ```
 ### Scala SBT
 ```
-libraryDependencies += "info.picocli" % "picocli" % "3.9.3"
+libraryDependencies += "info.picocli" % "picocli" % "3.9.4"
 ```
 ### Ivy
 ```
-<dependency org="info.picocli" name="picocli" rev="3.9.3" />
+<dependency org="info.picocli" name="picocli" rev="3.9.4" />
 ```
 ### Grape
 ```groovy
 @Grapes(
-    @Grab(group='info.picocli', module='picocli', version='3.9.3')
+    @Grab(group='info.picocli', module='picocli', version='3.9.4')
 )
 ```
 ### Leiningen
 ```
-[info.picocli/picocli "3.9.3"]
+[info.picocli/picocli "3.9.4"]
 ```
 ### Buildr
 ```
-'info.picocli:picocli:jar:3.9.3'
+'info.picocli:picocli:jar:3.9.4'
 ```
diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
@@ -1,11 +1,11 @@
 # picocli Release Notes
 
-# <a name="3.9.4"></a> Picocli 3.9.4 (UNRELEASED)
+# <a name="3.9.4"></a> Picocli 3.9.4
 The picocli community is pleased to announce picocli 3.9.4.
 
 This release contains bugfixes and enhancements.
 
-From this release, `enum`-typed options and positional parameters that are multi-value can be stored in `EnumSet` collections, as well as other Collections, arrays and Maps. 
+From this release, `enum`-typed options and positional parameters that are multi-value can be stored in `EnumSet` collections (in addition to other Collections, arrays and Maps). 
 
 Also, a better error message is now shown when unknown options are encountered while processing clustered short options. The new error message includes both the failing part and the original command line argument.
 

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 Feb 01 18:46:07 JST 2019 -->
-<title>All Classes (picocli 3.9.3 API)</title>
-<meta name="date" content="2019-02-01">
+<!-- Generated by javadoc (1.8.0_202) on Sun Feb 17 19:48:56 JST 2019 -->
+<title>All Classes (picocli 3.9.4 API)</title>
+<meta name="date" content="2019-02-17">
 <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 Feb 01 18:46:07 JST 2019 -->
-<title>All Classes (picocli 3.9.3 API)</title>
-<meta name="date" content="2019-02-01">
+<!-- Generated by javadoc (1.8.0_202) on Sun Feb 17 19:48:56 JST 2019 -->
+<title>All Classes (picocli 3.9.4 API)</title>
+<meta name="date" content="2019-02-17">
 <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 Feb 01 18:46:06 JST 2019 -->
-<title>Constant Field Values (picocli 3.9.3 API)</title>
-<meta name="date" content="2019-02-01">
+<!-- Generated by javadoc (1.8.0_202) on Sun Feb 17 19:48:56 JST 2019 -->
+<title>Constant Field Values (picocli 3.9.4 API)</title>
+<meta name="date" content="2019-02-17">
 <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 3.9.3 API)";
+            parent.document.title="Constant Field Values (picocli 3.9.4 API)";
         }
     }
     catch(err) {
@@ -141,7 +141,7 @@ <h2 title="picocli">picocli.*</h2>
 <!--   -->
 </a><code>public&nbsp;static&nbsp;final&nbsp;java.lang.String</code></td>
 <td><code><a href="picocli/CommandLine.html#VERSION">VERSION</a></code></td>
-<td class="colLast"><code>"3.9.3"</code></td>
+<td class="colLast"><code>"3.9.4"</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 Feb 01 18:46:07 JST 2019 -->
-<title>Deprecated List (picocli 3.9.3 API)</title>
-<meta name="date" content="2019-02-01">
+<!-- Generated by javadoc (1.8.0_202) on Sun Feb 17 19:48:56 JST 2019 -->
+<title>Deprecated List (picocli 3.9.4 API)</title>
+<meta name="date" content="2019-02-17">
 <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 3.9.3 API)";
+            parent.document.title="Deprecated List (picocli 3.9.4 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 Feb 01 18:46:07 JST 2019 -->
-<title>API Help (picocli 3.9.3 API)</title>
-<meta name="date" content="2019-02-01">
+<!-- Generated by javadoc (1.8.0_202) on Sun Feb 17 19:48:56 JST 2019 -->
+<title>API Help (picocli 3.9.4 API)</title>
+<meta name="date" content="2019-02-17">
 <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 3.9.3 API)";
+            parent.document.title="API Help (picocli 3.9.4 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 Feb 01 18:46:06 JST 2019 -->
-<title>Index (picocli 3.9.3 API)</title>
-<meta name="date" content="2019-02-01">
+<!-- Generated by javadoc (1.8.0_202) on Sun Feb 17 19:48:56 JST 2019 -->
+<title>Index (picocli 3.9.4 API)</title>
+<meta name="date" content="2019-02-17">
 <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 3.9.3 API)";
+            parent.document.title="Index (picocli 3.9.4 API)";
         }
     }
     catch(err) {
@@ -3086,7 +3086,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 "3.9.3".</div>
+<div class="block">This is picocli version "3.9.4".</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 Feb 01 18:46:07 JST 2019 -->
-<title>picocli 3.9.3 API</title>
+<!-- Generated by javadoc (1.8.0_202) on Sun Feb 17 19:48:56 JST 2019 -->
+<title>picocli 3.9.4 API</title>
 <script type="text/javascript">
     tmpTargetPage = "" + window.location.search;
     if (tmpTargetPage != "" && tmpTargetPage != "undefined")

diff --git a/docs/apidocs/overview-frame.html b/docs/apidocs/overview-frame.html
@@ -2,9 +2,9 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_202) on Fri Feb 01 18:46:06 JST 2019 -->
-<title>Overview List (picocli 3.9.3 API)</title>
-<meta name="date" content="2019-02-01">
+<!-- Generated by javadoc (1.8.0_202) on Sun Feb 17 19:48:56 JST 2019 -->
+<title>Overview List (picocli 3.9.4 API)</title>
+<meta name="date" content="2019-02-17">
 <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/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 Feb 01 18:46:07 JST 2019 -->
-<title>Overview (picocli 3.9.3 API)</title>
-<meta name="date" content="2019-02-01">
+<!-- Generated by javadoc (1.8.0_202) on Sun Feb 17 19:48:56 JST 2019 -->
+<title>Overview (picocli 3.9.4 API)</title>
+<meta name="date" content="2019-02-17">
 <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 3.9.3 API)";
+            parent.document.title="Overview (picocli 3.9.4 API)";
         }
     }
     catch(err) {
@@ -69,7 +69,7 @@
 </a></div>
 <!-- ========= END OF TOP NAVBAR ========= -->
 <div class="header">
-<h1 class="title">picocli 3.9.3 API</h1>
+<h1 class="title">picocli 3.9.4 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 Feb 01 18:46:06 JST 2019 -->
-<title>Class Hierarchy (picocli 3.9.3 API)</title>
-<meta name="date" content="2019-02-01">
+<!-- Generated by javadoc (1.8.0_202) on Sun Feb 17 19:48:56 JST 2019 -->
+<title>Class Hierarchy (picocli 3.9.4 API)</title>
+<meta name="date" content="2019-02-17">
 <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 3.9.3 API)";
+            parent.document.title="Class Hierarchy (picocli 3.9.4 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 Feb 01 18:46:04 JST 2019 -->
-<title>AutoComplete (picocli 3.9.3 API)</title>
-<meta name="date" content="2019-02-01">
+<!-- Generated by javadoc (1.8.0_202) on Sun Feb 17 19:48:55 JST 2019 -->
+<title>AutoComplete (picocli 3.9.4 API)</title>
+<meta name="date" content="2019-02-17">
 <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 3.9.3 API)";
+            parent.document.title="AutoComplete (picocli 3.9.4 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 Feb 01 18:46:05 JST 2019 -->
-<title>CommandLine.AbstractHandler (picocli 3.9.3 API)</title>
-<meta name="date" content="2019-02-01">
+<!-- Generated by javadoc (1.8.0_202) on Sun Feb 17 19:48:55 JST 2019 -->
+<title>CommandLine.AbstractHandler (picocli 3.9.4 API)</title>
+<meta name="date" content="2019-02-17">
 <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 3.9.3 API)";
+            parent.document.title="CommandLine.AbstractHandler (picocli 3.9.4 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 Feb 01 18:46:05 JST 2019 -->
-<title>CommandLine.AbstractParseResultHandler (picocli 3.9.3 API)</title>
-<meta name="date" content="2019-02-01">
+<!-- Generated by javadoc (1.8.0_202) on Sun Feb 17 19:48:55 JST 2019 -->
+<title>CommandLine.AbstractParseResultHandler (picocli 3.9.4 API)</title>
+<meta name="date" content="2019-02-17">
 <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 3.9.3 API)";
+            parent.document.title="CommandLine.AbstractParseResultHandler (picocli 3.9.4 API)";
         }
     }
     catch(err) {

diff --git a/docs/apidocs/picocli/CommandLine.Command.html b/docs/apidocs/picocli/CommandLine.Command.html
@@ -2,17 +2,17 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_202) on Fri Feb 01 18:46:05 JST 2019 -->
-<title>CommandLine.Command (picocli 3.9.3 API)</title>
-<meta name="date" content="2019-02-01">
+<!-- Generated by javadoc (1.8.0_202) on Sun Feb 17 19:48:55 JST 2019 -->
+<title>CommandLine.Command (picocli 3.9.4 API)</title>
+<meta name="date" content="2019-02-17">
 <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.Command (picocli 3.9.3 API)";
+            parent.document.title="CommandLine.Command (picocli 3.9.4 API)";
         }
     }
     catch(err) {

diff --git a/docs/apidocs/picocli/CommandLine.DefaultExceptionHandler.html b/docs/apidocs/picocli/CommandLine.DefaultExceptionHandler.html
@@ -2,17 +2,17 @@
 <!-- NewPage -->
 <html lang="en">
 <head>
-<!-- Generated by javadoc (1.8.0_202) on Fri Feb 01 18:46:05 JST 2019 -->
-<title>CommandLine.DefaultExceptionHandler (picocli 3.9.3 API)</title>
-<meta name="date" content="2019-02-01">
+<!-- Generated by javadoc (1.8.0_202) on Sun Feb 17 19:48:55 JST 2019 -->
+<title>CommandLine.DefaultExceptionHandler (picocli 3.9.4 API)</title>
+<meta name="date" content="2019-02-17">
 <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.DefaultExceptionHandler (picocli 3.9.3 API)";
+            parent.document.title="CommandLine.DefaultExceptionHandler (picocli 3.9.4 API)";
         }
     }
     catch(err) {