Release picocli version 4.7.1

remkop · Jan 27, 2023 · 1a7e265 · 1a7e265
1 parent 6b8187b
commit 1a7e265
Show file tree

Hide file tree

Showing 530 changed files with 1,368 additions and 1,380 deletions.
diff --git a/README.md b/README.md
@@ -79,7 +79,7 @@ The user manual has examples of integrating with [Guice](https://picocli.info/#_
 
 ### Releases
 * [All Releases](https://github.com/remkop/picocli/releases)
-* Latest: 4.7.0 [Release Notes](https://github.com/remkop/picocli/releases/tag/v4.7.0)
+* Latest: 4.7.1 [Release Notes](https://github.com/remkop/picocli/releases/tag/v4.7.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)
@@ -88,7 +88,7 @@ The user manual has examples of integrating with [Guice](https://picocli.info/#_
 * [4.x User manual: https://picocli.info](https://picocli.info)
 * [4.x Quick Guide](https://picocli.info/quick-guide.html)
 * [4.x API Javadoc](https://picocli.info/apidocs/)
-* [PREVIEW: Modular Javadoc for all artifacts (4.7.0-SNAPSHOT)](https://picocli.info/apidocs-all/)
+* [PREVIEW: Modular Javadoc for all artifacts (4.7.1-SNAPSHOT)](https://picocli.info/apidocs-all/)
 * [Command line autocompletion](https://picocli.info/autocomplete.html)
 * [Programmatic API](https://picocli.info/picocli-programmatic-api.html)
 * [FAQ](https://github.com/remkop/picocli/wiki/FAQ)
@@ -270,9 +270,9 @@ If you like picocli, help others discover picocli:
 #### Spread the joy! :tada:
 * Tweet about picocli! What do you like about it? How has it helped you? How is it different from the alternatives?
 * Mention that your project uses picocli in the documentation of your project.
-* Show that your GitHub project uses picocli, with this badge in your README.md: [![picocli](https://img.shields.io/badge/picocli-4.7.0-green.svg)](https://github.com/remkop/picocli)
+* Show that your GitHub project uses picocli, with this badge in your README.md: [![picocli](https://img.shields.io/badge/picocli-4.7.1-green.svg)](https://github.com/remkop/picocli)
 ```
-[![picocli](https://img.shields.io/badge/picocli-4.7.0-green.svg)](https://github.com/remkop/picocli)
+[![picocli](https://img.shields.io/badge/picocli-4.7.1-green.svg)](https://github.com/remkop/picocli)
 ```
 
 #### Preach it! :muscle:
@@ -363,41 +363,41 @@ See the [source code](https://github.com/remkop/picocli/blob/main/src/main/java/
 
 ### Gradle
 ```
-implementation 'info.picocli:picocli:4.7.0'
+implementation 'info.picocli:picocli:4.7.1'
 ```
 ### Maven
 ```
 <dependency>
   <groupId>info.picocli</groupId>
   <artifactId>picocli</artifactId>
-  <version>4.7.0</version>
+  <version>4.7.1</version>
 </dependency>
 ```
 ### Scala SBT
 ```
-libraryDependencies += "info.picocli" % "picocli" % "4.7.0"
+libraryDependencies += "info.picocli" % "picocli" % "4.7.1"
 ```
 ### Ivy
 ```
-<dependency org="info.picocli" name="picocli" rev="4.7.0" />
+<dependency org="info.picocli" name="picocli" rev="4.7.1" />
 ```
 ### Grape
 ```groovy
 @Grapes(
-    @Grab(group='info.picocli', module='picocli', version='4.7.0')
+    @Grab(group='info.picocli', module='picocli', version='4.7.1')
 )
 ```
 ### Leiningen
 ```
-[info.picocli/picocli "4.7.0"]
+[info.picocli/picocli "4.7.1"]
 ```
 ### Buildr
 ```
-'info.picocli:picocli:jar:4.7.0'
+'info.picocli:picocli:jar:4.7.1'
 ```
 
 ### JBang
 ```
-//DEPS info.picocli:picocli:4.7.0
+//DEPS info.picocli:picocli:4.7.1
 ```
 
diff --git a/RELEASE-NOTES.md b/RELEASE-NOTES.md
@@ -1,7 +1,7 @@
 # picocli Release Notes
 
 
-# <a name="4.7.1"></a> Picocli 4.7.1 (UNRELEASED)
+# <a name="4.7.1"></a> Picocli 4.7.1
 The picocli community is pleased to announce picocli 4.7.1.
 
 This release includes bugfixes and enhancements.

diff --git a/dependencies.gradle b/dependencies.gradle
@@ -7,9 +7,9 @@ ext {
     // projectPreviousPublishedVersion is non-SNAPSHOT, only published releases
     projectPreviousPublishedVersion = "4\\.7\\.0"      // for task bumpReadmeVersion
     // projectPreviousVersionRegex may be a SNAPSHOT
-    projectPreviousVersionRegex     = "4\\.7\\.0"      // for task bumpVersion
-    projectVersion                  = "4.7.1-SNAPSHOT" // for all build tasks
-    releaseDate                     = "2022-10-31"     // for task bumpVersion
+    projectPreviousVersionRegex     = "4\\.7\\.1-SNAPSHOT"      // for task bumpVersion
+    projectVersion                  = "4.7.1" // for all build tasks
+    releaseDate                     = "2023-01-27"     // for task bumpVersion
     releaseDatePreviousRegex        = "2022\\-10\\-31" // for task bumpVersion
 
     // DEPENDENCIES

diff --git a/docs/A-Whirlwind-Tour-of-Picocli.html b/docs/A-Whirlwind-Tour-of-Picocli.html
@@ -1646,7 +1646,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.7.0</span>
+<span id="revnumber">version 4.7.1</span>
 </div>
 </div>
 <div id="content">
@@ -3084,8 +3084,8 @@ <h2 id="_conclusion">Conclusion</h2>
 </div>
 <div id="footer">
 <div id="footer-text">
-Version 4.7.0<br>
-Last updated 2022-05-13 20:45:12 -0400
+Version 4.7.1<br>
+Last updated 2022-05-14 09:45:12 +0900
 </div>
 </div>
 </body>

diff --git a/docs/announcing-picocli-1.0.html b/docs/announcing-picocli-1.0.html
@@ -608,7 +608,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.7.0,</span>
+<span id="revnumber">version 4.7.1,</span>
 <span id="revdate">2017-09-10</span>
 </div>
 </div>
@@ -732,8 +732,8 @@ <h2 id="_feedback_welcome">Feedback Welcome</h2>
 </div>
 <div id="footer">
 <div id="footer-text">
-Version 4.7.0<br>
-Last updated 2022-09-01 21:02:34 -0400
+Version 4.7.1<br>
+Last updated 2022-09-02 10:02:34 +0900
 </div>
 </div>
 </body>

diff --git a/docs/apidocs-all/allclasses-frame.html b/docs/apidocs-all/allclasses-frame.html
@@ -3,7 +3,7 @@
 <html lang="en">
 <head>
 <!-- Generated by javadoc -->
-<title>All Classes (picocli 4.7.0 API)</title>
+<title>All Classes (picocli 4.7.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="jquery/jquery-ui.css" title="Style">

diff --git a/docs/apidocs-all/allclasses-index.html b/docs/apidocs-all/allclasses-index.html
@@ -3,7 +3,7 @@
 <html lang="en">
 <head>
 <!-- Generated by javadoc -->
-<title>All Classes (picocli 4.7.0 API)</title>
+<title>All Classes (picocli 4.7.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="jquery/jquery-ui.css" title="Style">
@@ -21,7 +21,7 @@
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="All Classes (picocli 4.7.0 API)";
+            parent.document.title="All Classes (picocli 4.7.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/apidocs-all/allclasses-noframe.html b/docs/apidocs-all/allclasses-noframe.html
@@ -3,7 +3,7 @@
 <html lang="en">
 <head>
 <!-- Generated by javadoc -->
-<title>All Classes (picocli 4.7.0 API)</title>
+<title>All Classes (picocli 4.7.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="jquery/jquery-ui.css" title="Style">

diff --git a/docs/apidocs-all/allpackages-index.html b/docs/apidocs-all/allpackages-index.html
@@ -3,7 +3,7 @@
 <html lang="en">
 <head>
 <!-- Generated by javadoc -->
-<title>All Packages (picocli 4.7.0 API)</title>
+<title>All Packages (picocli 4.7.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="jquery/jquery-ui.css" title="Style">
@@ -21,7 +21,7 @@
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="All Packages (picocli 4.7.0 API)";
+            parent.document.title="All Packages (picocli 4.7.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/apidocs-all/constant-values.html b/docs/apidocs-all/constant-values.html
@@ -3,7 +3,7 @@
 <html lang="en">
 <head>
 <!-- Generated by javadoc -->
-<title>Constant Field Values (picocli 4.7.0 API)</title>
+<title>Constant Field Values (picocli 4.7.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="jquery/jquery-ui.css" title="Style">
@@ -21,7 +21,7 @@
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="Constant Field Values (picocli 4.7.0 API)";
+            parent.document.title="Constant Field Values (picocli 4.7.1 API)";
         }
     }
     catch(err) {
@@ -174,7 +174,7 @@ <h2 title="picocli">picocli.*</h2>
 <!--   -->
 </a><code>public&nbsp;static&nbsp;final&nbsp;<a href="https://docs.oracle.com/en/java/javase/11/docs/api/java/lang/String.html?is-external=true" title="class or interface in java.lang" class="externalLink">String</a></code></td>
 <th class="colSecond" scope="row"><code><a href="info.picocli/picocli/CommandLine.html#VERSION">VERSION</a></code></th>
-<td class="colLast"><code>"4.7.0"</code></td>
+<td class="colLast"><code>"4.7.1"</code></td>
 </tr>
 </tbody>
 </table>

diff --git a/docs/apidocs-all/deprecated-list.html b/docs/apidocs-all/deprecated-list.html
@@ -3,7 +3,7 @@
 <html lang="en">
 <head>
 <!-- Generated by javadoc -->
-<title>Deprecated List (picocli 4.7.0 API)</title>
+<title>Deprecated List (picocli 4.7.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="jquery/jquery-ui.css" title="Style">
@@ -21,7 +21,7 @@
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="Deprecated List (picocli 4.7.0 API)";
+            parent.document.title="Deprecated List (picocli 4.7.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/apidocs-all/help-doc.html b/docs/apidocs-all/help-doc.html
@@ -3,7 +3,7 @@
 <html lang="en">
 <head>
 <!-- Generated by javadoc -->
-<title>API Help (picocli 4.7.0 API)</title>
+<title>API Help (picocli 4.7.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
 <link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="jquery/jquery-ui.css" title="Style">
@@ -21,7 +21,7 @@
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="API Help (picocli 4.7.0 API)";
+            parent.document.title="API Help (picocli 4.7.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/apidocs-all/index-files/index-1.html b/docs/apidocs-all/index-files/index-1.html
@@ -3,7 +3,7 @@
 <html lang="en">
 <head>
 <!-- Generated by javadoc -->
-<title>A-Index (picocli 4.7.0 API)</title>
+<title>A-Index (picocli 4.7.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
 <link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
@@ -21,7 +21,7 @@
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="A-Index (picocli 4.7.0 API)";
+            parent.document.title="A-Index (picocli 4.7.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/apidocs-all/index-files/index-10.html b/docs/apidocs-all/index-files/index-10.html
@@ -3,7 +3,7 @@
 <html lang="en">
 <head>
 <!-- Generated by javadoc -->
-<title>J-Index (picocli 4.7.0 API)</title>
+<title>J-Index (picocli 4.7.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
 <link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
@@ -21,7 +21,7 @@
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="J-Index (picocli 4.7.0 API)";
+            parent.document.title="J-Index (picocli 4.7.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/apidocs-all/index-files/index-11.html b/docs/apidocs-all/index-files/index-11.html
@@ -3,7 +3,7 @@
 <html lang="en">
 <head>
 <!-- Generated by javadoc -->
-<title>K-Index (picocli 4.7.0 API)</title>
+<title>K-Index (picocli 4.7.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
 <link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
@@ -21,7 +21,7 @@
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="K-Index (picocli 4.7.0 API)";
+            parent.document.title="K-Index (picocli 4.7.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/apidocs-all/index-files/index-12.html b/docs/apidocs-all/index-files/index-12.html
@@ -3,7 +3,7 @@
 <html lang="en">
 <head>
 <!-- Generated by javadoc -->
-<title>L-Index (picocli 4.7.0 API)</title>
+<title>L-Index (picocli 4.7.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
 <link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
@@ -21,7 +21,7 @@
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="L-Index (picocli 4.7.0 API)";
+            parent.document.title="L-Index (picocli 4.7.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/apidocs-all/index-files/index-13.html b/docs/apidocs-all/index-files/index-13.html
@@ -3,7 +3,7 @@
 <html lang="en">
 <head>
 <!-- Generated by javadoc -->
-<title>M-Index (picocli 4.7.0 API)</title>
+<title>M-Index (picocli 4.7.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
 <link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
@@ -21,7 +21,7 @@
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="M-Index (picocli 4.7.0 API)";
+            parent.document.title="M-Index (picocli 4.7.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/apidocs-all/index-files/index-14.html b/docs/apidocs-all/index-files/index-14.html
@@ -3,7 +3,7 @@
 <html lang="en">
 <head>
 <!-- Generated by javadoc -->
-<title>N-Index (picocli 4.7.0 API)</title>
+<title>N-Index (picocli 4.7.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
 <link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
@@ -21,7 +21,7 @@
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="N-Index (picocli 4.7.0 API)";
+            parent.document.title="N-Index (picocli 4.7.1 API)";
         }
     }
     catch(err) {

diff --git a/docs/apidocs-all/index-files/index-15.html b/docs/apidocs-all/index-files/index-15.html
@@ -3,7 +3,7 @@
 <html lang="en">
 <head>
 <!-- Generated by javadoc -->
-<title>O-Index (picocli 4.7.0 API)</title>
+<title>O-Index (picocli 4.7.1 API)</title>
 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
 <link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
 <link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
@@ -21,7 +21,7 @@
 <script type="text/javascript"><!--
     try {
         if (location.href.indexOf('is-external=true') == -1) {
-            parent.document.title="O-Index (picocli 4.7.0 API)";
+            parent.document.title="O-Index (picocli 4.7.1 API)";
         }
     }
     catch(err) {