RFR: 8257424: Add setName() to RecordingStream

Tue Dec 1 02:48:55 UTC 2020

On Tue, 1 Dec 2020 02:07:52 GMT, Erik Gahlin <egahlin 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.

Agree, should I change issue title? or should I file to JBS with new title?

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

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