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

[Joe Darcy]

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

>> 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.

I've spoken to @rgiulietti about this PR; since there behavioral changes of possible interest, I'm requesting a CSR to cover those changes.

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

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