Release picocli version 3.9.3

remkop · Feb 1, 2019 · 0dc1968 · 0dc1968
1 parent 852620f
commit 0dc1968
Show file tree

Hide file tree

Showing 105 changed files with 504 additions and 460 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.2 [Release Notes](https://github.com/remkop/picocli/releases/tag/v3.9.2)
+* [Releases](https://github.com/remkop/picocli/releases) - Latest: 3.9.3 [Release Notes](https://github.com/remkop/picocli/releases/tag/v3.9.3)
 * 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.2'
+compile 'info.picocli:picocli:3.9.3'
 ```
 ### Maven
 ```
 <dependency>
   <groupId>info.picocli</groupId>
   <artifactId>picocli</artifactId>
-  <version>3.9.2</version>
+  <version>3.9.3</version>
 </dependency>
 ```
 ### Scala SBT
 ```
-libraryDependencies += "info.picocli" % "picocli" % "3.9.2"
+libraryDependencies += "info.picocli" % "picocli" % "3.9.3"
 ```
 ### Ivy
 ```
-<dependency org="info.picocli" name="picocli" rev="3.9.2" />
+<dependency org="info.picocli" name="picocli" rev="3.9.3" />
 ```
 ### Grape
 ```groovy
 @Grapes(
-    @Grab(group='info.picocli', module='picocli', version='3.9.2')
+    @Grab(group='info.picocli', module='picocli', version='3.9.3')
 )
 ```
 ### Leiningen
 ```
-[info.picocli/picocli "3.9.2"]
+[info.picocli/picocli "3.9.3"]
 ```
 ### Buildr
 ```
-'info.picocli:picocli:jar:3.9.2'
+'info.picocli:picocli:jar:3.9.3'
 ```
diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
@@ -1,6 +1,6 @@
 # picocli Release Notes
 
-# <a name="3.9.3"></a> Picocli 3.9.3 (UNRELEASED)
+# <a name="3.9.3"></a> Picocli 3.9.3
 The picocli community is pleased to announce picocli 3.9.3.
 
 This release contains bugfixes and enhancements.

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_161) on Sun Jan 20 19:54:28 JST 2019 -->
-<title>All Classes (picocli 3.9.2 API)</title>
-<meta name="date" content="2019-01-20">
+<!-- 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">
 <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_161) on Sun Jan 20 19:54:28 JST 2019 -->
-<title>All Classes (picocli 3.9.2 API)</title>
-<meta name="date" content="2019-01-20">
+<!-- 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">
 <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_161) on Sun Jan 20 19:54:28 JST 2019 -->
-<title>Constant Field Values (picocli 3.9.2 API)</title>
-<meta name="date" content="2019-01-20">
+<!-- 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">
 <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.2 API)";
+            parent.document.title="Constant Field Values (picocli 3.9.3 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.2"</code></td>
+<td class="colLast"><code>"3.9.3"</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_161) on Sun Jan 20 19:54:28 JST 2019 -->
-<title>Deprecated List (picocli 3.9.2 API)</title>
-<meta name="date" content="2019-01-20">
+<!-- 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">
 <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.2 API)";
+            parent.document.title="Deprecated List (picocli 3.9.3 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_161) on Sun Jan 20 19:54:28 JST 2019 -->
-<title>API Help (picocli 3.9.2 API)</title>
-<meta name="date" content="2019-01-20">
+<!-- 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">
 <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.2 API)";
+            parent.document.title="API Help (picocli 3.9.3 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_161) on Sun Jan 20 19:54:28 JST 2019 -->
-<title>Index (picocli 3.9.2 API)</title>
-<meta name="date" content="2019-01-20">
+<!-- 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">
 <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.2 API)";
+            parent.document.title="Index (picocli 3.9.3 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.2".</div>
+<div class="block">This is picocli version "3.9.3".</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_161) on Sun Jan 20 19:54:28 JST 2019 -->
-<title>picocli 3.9.2 API</title>
+<!-- Generated by javadoc (1.8.0_202) on Fri Feb 01 18:46:07 JST 2019 -->
+<title>picocli 3.9.3 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_161) on Sun Jan 20 19:54:28 JST 2019 -->
-<title>Overview List (picocli 3.9.2 API)</title>
-<meta name="date" content="2019-01-20">
+<!-- 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">
 <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_161) on Sun Jan 20 19:54:28 JST 2019 -->
-<title>Overview (picocli 3.9.2 API)</title>
-<meta name="date" content="2019-01-20">
+<!-- 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">
 <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.2 API)";
+            parent.document.title="Overview (picocli 3.9.3 API)";
         }
     }
     catch(err) {
@@ -69,7 +69,7 @@
 </a></div>
 <!-- ========= END OF TOP NAVBAR ========= -->
 <div class="header">
-<h1 class="title">picocli 3.9.2 API</h1>
+<h1 class="title">picocli 3.9.3 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_161) on Sun Jan 20 19:54:28 JST 2019 -->
-<title>Class Hierarchy (picocli 3.9.2 API)</title>
-<meta name="date" content="2019-01-20">
+<!-- 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">
 <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.2 API)";
+            parent.document.title="Class Hierarchy (picocli 3.9.3 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_161) on Sun Jan 20 19:54:25 JST 2019 -->
-<title>AutoComplete (picocli 3.9.2 API)</title>
-<meta name="date" content="2019-01-20">
+<!-- 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">
 <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.2 API)";
+            parent.document.title="AutoComplete (picocli 3.9.3 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_161) on Sun Jan 20 19:54:26 JST 2019 -->
-<title>CommandLine.AbstractHandler (picocli 3.9.2 API)</title>
-<meta name="date" content="2019-01-20">
+<!-- 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">
 <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.2 API)";
+            parent.document.title="CommandLine.AbstractHandler (picocli 3.9.3 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_161) on Sun Jan 20 19:54:26 JST 2019 -->
-<title>CommandLine.AbstractParseResultHandler (picocli 3.9.2 API)</title>
-<meta name="date" content="2019-01-20">
+<!-- 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">
 <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.2 API)";
+            parent.document.title="CommandLine.AbstractParseResultHandler (picocli 3.9.3 API)";
         }
     }
     catch(err) {