RFR: 8138614: (spec str) StringBuffer and StringBuilder methods improperly require "new" String to be returned [v3]

[Raffaello Giulietti]

On Tue, 25 Feb 2025 00:54:24 GMT, Stuart Marks <smarks at openjdk.org> wrote:

>> A couple adjustments to the specs for four methods of StringBuilder and StringBuffer so that they no longer require new Strings to be created, just a String with the right contents. No implementation changes. Note that the actual specs (and implementations) are actually in AbstractStringBuilder, and they're inherited by StringBuilder and StringBuffer.
>
> Stuart Marks has updated the pull request with a new target base due to a merge or a rebase. The incremental webrev excludes the unrelated changes brought in by the merge/rebase. The pull request contains three additional commits since the last revision:
> 
>  - Merge branch 'master' into JDK-8138614-relax-new-string-requirement
>  - A tiny bit of wordsmithing.
>  - 8138614: Relax StringBuilder/StringBuffer requirement to create new Strings

Marked as reviewed by rgiulietti (Reviewer).

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

PR Review: https://git.openjdk.org/jdk/pull/23599#pullrequestreview-2640195429