[#717] Use HTML entity &#x00b1; in the javadoc to avoid the need for setting compiler encoding and javadoc encoding to UTF8 explicitly.
[#717] Use HTML entity &#x00b1; in the javadoc to avoid the need for setting compiler encoding and javadoc encoding to UTF8 explicitly.

remkop/picocli,remkop/picocli,remkop/picocli,remkop/picocli