Release picocli version 4.0.3

remkop · Aug 26, 2019 · a979f98 · a979f98
1 parent 0a432c5
commit a979f98
Show file tree

Hide file tree

Showing 128 changed files with 530 additions and 530 deletions.
diff --git a/README.md b/README.md
@@ -46,7 +46,7 @@ Picocli-based applications can easily [integrate](https://picocli.info/#_depende
 
 ### Releases
 * [All Releases](https://github.com/remkop/picocli/releases)
-* Latest: 4.0.2 [Release Notes](https://github.com/remkop/picocli/releases/tag/v4.0.2)
+* Latest: 4.0.3 [Release Notes](https://github.com/remkop/picocli/releases/tag/v4.0.3)
 * 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)
@@ -136,9 +136,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.0.2-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.0.3-green.svg)](https://github.com/remkop/picocli)
 ```
-[![picocli](https://img.shields.io/badge/picocli-4.0.2-green.svg)](https://github.com/remkop/picocli)
+[![picocli](https://img.shields.io/badge/picocli-4.0.3-green.svg)](https://github.com/remkop/picocli)
 ```
 
 
@@ -225,35 +225,35 @@ See the [source code](https://github.com/remkop/picocli/blob/master/src/main/jav
 
 ### Gradle
 ```
-compile 'info.picocli:picocli:4.0.2'
+compile 'info.picocli:picocli:4.0.3'
 ```
 ### Maven
 ```
 <dependency>
   <groupId>info.picocli</groupId>
   <artifactId>picocli</artifactId>
-  <version>4.0.2</version>
+  <version>4.0.3</version>
 </dependency>
 ```
 ### Scala SBT
 ```
-libraryDependencies += "info.picocli" % "picocli" % "4.0.2"
+libraryDependencies += "info.picocli" % "picocli" % "4.0.3"
 ```
 ### Ivy
 ```
-<dependency org="info.picocli" name="picocli" rev="4.0.2" />
+<dependency org="info.picocli" name="picocli" rev="4.0.3" />
 ```
 ### Grape
 ```groovy
 @Grapes(
-    @Grab(group='info.picocli', module='picocli', version='4.0.2')
+    @Grab(group='info.picocli', module='picocli', version='4.0.3')
 )
 ```
 ### Leiningen
 ```
-[info.picocli/picocli "4.0.2"]
+[info.picocli/picocli "4.0.3"]
 ```
 ### Buildr
 ```
-'info.picocli:picocli:jar:4.0.2'
+'info.picocli:picocli:jar:4.0.3'
 ```
diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
@@ -1,12 +1,12 @@
 # picocli Release Notes
 
 
-# <a name="4.0.3"></a> Picocli 4.0.3 (UNRELEASED)
+# <a name="4.0.3"></a> Picocli 4.0.3
 The picocli community is pleased to announce picocli 4.0.3.
 
 This release contains a bugfixes and enhancements.
 
-GraalVM native images for picocli commands with argument groups now work correctly.
+GraalVM native image-configuration generation for picocli commands with argument groups now work correctly.
 
 This is the sixtieth public release.
 Picocli follows [semantic versioning](http://semver.org/).

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 Mon Aug 12 08:11:11 JST 2019 -->
-<title>All Classes (picocli 4.0.2 API)</title>
-<meta name="date" content="2019-08-12">
+<!-- Generated by javadoc (1.8.0_202) on Mon Aug 26 23:54:07 JST 2019 -->
+<title>All Classes (picocli 4.0.3 API)</title>
+<meta name="date" content="2019-08-26">
 <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 Mon Aug 12 08:11:11 JST 2019 -->
-<title>All Classes (picocli 4.0.2 API)</title>
-<meta name="date" content="2019-08-12">
+<!-- Generated by javadoc (1.8.0_202) on Mon Aug 26 23:54:07 JST 2019 -->
+<title>All Classes (picocli 4.0.3 API)</title>
+<meta name="date" content="2019-08-26">
 <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 Mon Aug 12 08:11:11 JST 2019 -->
-<title>Constant Field Values (picocli 4.0.2 API)</title>
-<meta name="date" content="2019-08-12">
+<!-- Generated by javadoc (1.8.0_202) on Mon Aug 26 23:54:07 JST 2019 -->
+<title>Constant Field Values (picocli 4.0.3 API)</title>
+<meta name="date" content="2019-08-26">
 <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.0.2 API)";
+            parent.document.title="Constant Field Values (picocli 4.0.3 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.0.2"</code></td>
+<td class="colLast"><code>"4.0.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_202) on Mon Aug 12 08:11:11 JST 2019 -->
-<title>Deprecated List (picocli 4.0.2 API)</title>
-<meta name="date" content="2019-08-12">
+<!-- Generated by javadoc (1.8.0_202) on Mon Aug 26 23:54:07 JST 2019 -->
+<title>Deprecated List (picocli 4.0.3 API)</title>
+<meta name="date" content="2019-08-26">
 <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.0.2 API)";
+            parent.document.title="Deprecated List (picocli 4.0.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_202) on Mon Aug 12 08:11:11 JST 2019 -->
-<title>API Help (picocli 4.0.2 API)</title>
-<meta name="date" content="2019-08-12">
+<!-- Generated by javadoc (1.8.0_202) on Mon Aug 26 23:54:08 JST 2019 -->
+<title>API Help (picocli 4.0.3 API)</title>
+<meta name="date" content="2019-08-26">
 <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.0.2 API)";
+            parent.document.title="API Help (picocli 4.0.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_202) on Mon Aug 12 08:11:11 JST 2019 -->
-<title>Index (picocli 4.0.2 API)</title>
-<meta name="date" content="2019-08-12">
+<!-- Generated by javadoc (1.8.0_202) on Mon Aug 26 23:54:07 JST 2019 -->
+<title>Index (picocli 4.0.3 API)</title>
+<meta name="date" content="2019-08-26">
 <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.0.2 API)";
+            parent.document.title="Index (picocli 4.0.3 API)";
         }
     }
     catch(err) {
@@ -4212,7 +4212,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.0.2".</div>
+<div class="block">This is picocli version "4.0.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_202) on Mon Aug 12 08:11:11 JST 2019 -->
-<title>picocli 4.0.2 API</title>
+<!-- Generated by javadoc (1.8.0_202) on Mon Aug 26 23:54:07 JST 2019 -->
+<title>picocli 4.0.3 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 Mon Aug 12 08:11:11 JST 2019 -->
-<title>Overview (picocli 4.0.2 API)</title>
-<meta name="date" content="2019-08-12">
+<!-- Generated by javadoc (1.8.0_202) on Mon Aug 26 23:54:08 JST 2019 -->
+<title>Overview (picocli 4.0.3 API)</title>
+<meta name="date" content="2019-08-26">
 <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.0.2 API)";
+            parent.document.title="Overview (picocli 4.0.3 API)";
         }
     }
     catch(err) {
@@ -69,7 +69,7 @@
 </a></div>
 <!-- ========= END OF TOP NAVBAR ========= -->
 <div class="header">
-<h1 class="title">picocli 4.0.2 API</h1>
+<h1 class="title">picocli 4.0.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_202) on Mon Aug 12 08:11:11 JST 2019 -->
-<title>Class Hierarchy (picocli 4.0.2 API)</title>
-<meta name="date" content="2019-08-12">
+<!-- Generated by javadoc (1.8.0_202) on Mon Aug 26 23:54:07 JST 2019 -->
+<title>Class Hierarchy (picocli 4.0.3 API)</title>
+<meta name="date" content="2019-08-26">
 <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.0.2 API)";
+            parent.document.title="Class Hierarchy (picocli 4.0.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_202) on Mon Aug 12 08:11:07 JST 2019 -->
-<title>AutoComplete (picocli 4.0.2 API)</title>
-<meta name="date" content="2019-08-12">
+<!-- Generated by javadoc (1.8.0_202) on Mon Aug 26 23:54:06 JST 2019 -->
+<title>AutoComplete (picocli 4.0.3 API)</title>
+<meta name="date" content="2019-08-26">
 <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.0.2 API)";
+            parent.document.title="AutoComplete (picocli 4.0.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_202) on Mon Aug 12 08:11:08 JST 2019 -->
-<title>CommandLine.AbstractHandler (picocli 4.0.2 API)</title>
-<meta name="date" content="2019-08-12">
+<!-- Generated by javadoc (1.8.0_202) on Mon Aug 26 23:54:06 JST 2019 -->
+<title>CommandLine.AbstractHandler (picocli 4.0.3 API)</title>
+<meta name="date" content="2019-08-26">
 <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.0.2 API)";
+            parent.document.title="CommandLine.AbstractHandler (picocli 4.0.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_202) on Mon Aug 12 08:11:08 JST 2019 -->
-<title>CommandLine.AbstractParseResultHandler (picocli 4.0.2 API)</title>
-<meta name="date" content="2019-08-12">
+<!-- Generated by javadoc (1.8.0_202) on Mon Aug 26 23:54:06 JST 2019 -->
+<title>CommandLine.AbstractParseResultHandler (picocli 4.0.3 API)</title>
+<meta name="date" content="2019-08-26">
 <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.0.2 API)";
+            parent.document.title="CommandLine.AbstractParseResultHandler (picocli 4.0.3 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 Mon Aug 12 08:11:08 JST 2019 -->
-<title>CommandLine.ArgGroup (picocli 4.0.2 API)</title>
-<meta name="date" content="2019-08-12">
+<!-- Generated by javadoc (1.8.0_202) on Mon Aug 26 23:54:06 JST 2019 -->
+<title>CommandLine.ArgGroup (picocli 4.0.3 API)</title>
+<meta name="date" content="2019-08-26">
 <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.0.2 API)";
+            parent.document.title="CommandLine.ArgGroup (picocli 4.0.3 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 Mon Aug 12 08:11:08 JST 2019 -->
-<title>CommandLine.Command (picocli 4.0.2 API)</title>
-<meta name="date" content="2019-08-12">
+<!-- Generated by javadoc (1.8.0_202) on Mon Aug 26 23:54:06 JST 2019 -->
+<title>CommandLine.Command (picocli 4.0.3 API)</title>
+<meta name="date" content="2019-08-26">
 <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 4.0.2 API)";
+            parent.document.title="CommandLine.Command (picocli 4.0.3 API)";
         }
     }
     catch(err) {