Re: 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 <rri...@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 "&times;" used to indicate 
> multiplication.

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

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

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