RFR: 8305486: Add split() variants that keep the delimiters to String and j.u.r.Pattern [v4]

[Roger Riggs]

On Tue, 11 Apr 2023 09:14:29 GMT, Raffaello Giulietti <rgiulietti at openjdk.org> wrote:

>> Add `split()` overloads to `String` and `java.util.regex.Pattern` that, in addition to the substrings returned by current `split()` variants, also return the delimiters matching the regular expression.
>
> Raffaello Giulietti has updated the pull request incrementally with one additional commit since the last revision:
> 
>   8305486: Add split() variants that keep the delimiters to String and j.u.r.Patten
>   Clarification about zero-width matches at the beginning of the input

The CSR can be moved to Proposed to get that review process started.
I think another Reviewer should take a look at the wording also.

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

PR Comment: https://git.openjdk.org/jdk/pull/13305#issuecomment-1504067637