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

[Raffaello Giulietti]

On Mon, 8 May 2023 13:50:19 GMT, Roger Riggs <rriggs at openjdk.org> wrote:

>> I would replace center-dot with either with "times" or "*" as being easier to read and more familiar in the javadoc.
>
> In java.lang.Math I see both "*" and "×" used to indicate multiplication.

Just replaced with `×`, as used in the javadoc of `Double.toString(double)`

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

PR Review Comment: https://git.openjdk.org/jdk/pull/13305#discussion_r1187483393