RFR: 8257424: Add setName() to RecordingStream

[Yasumasa Suenaga]

On Tue, 1 Dec 2020 02:46:24 GMT, Yasumasa Suenaga <ysuenaga at openjdk.org> wrote:

>> If you want to make the name of a RecordingStream "Recording Stream" + creationTime.toString(), for consistency and debuggability, I'm fine with that, but I rather not add an API method, at least not now.
>
>> If you want to make the name of a RecordingStream "Recording Stream" + creationTime.toString(), for consistency and debuggability, I'm fine with that, but I rather not add an API method, at least not now.
> 
> Agree, should I change issue title? or should I file to JBS with new title?

I updated PR. I will update both subject and description if you are ok.

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

PR: https://git.openjdk.java.net/jdk/pull/1520