RFR: 8300869: Make use of the Double.toString(double) algorithm in java.util.Formatter [v2]

[Raffaello Giulietti]

On Fri, 27 Jan 2023 18:19:58 GMT, Raffaello Giulietti <rgiulietti at openjdk.org> wrote:

>> Align `double` and `float` decimal conversions in `java.util.Formatter` with the algorithm used in `Double.toString(double)`.
>
> Raffaello Giulietti has updated the pull request incrementally with one additional commit since the last revision:
> 
>   8300869: Make use of the Double.toString(double) algorithm in java.util.Formatter
>   
>   Added tests for known differences between current and new behavior.

Added tests for known differences.

Most of the modified files are generated automatically by a script that, somewhat questionably, renews the copyright year in some of the files for no apparent reason.

-------------

PR: https://git.openjdk.org/jdk/pull/12259