RFR: 8261168: Convert javadoc tool to use Stream.toList()

[Ian Graves]

On Thu, 22 Apr 2021 02:11:35 GMT, Ian Graves <igraves at openjdk.org> wrote:

> 8261168: Convert javadoc tool to use Stream.toList()

That's correct. It's not an IDE cleanup, in fact. This is migrating the use of `Collectors.toList()` to `Stream.toList()` where the latter gains some performance benefits while properly enforcing immutability. So there is some hand-checking on my part to ensure that the conversion doesn't introduce immutability where it wasn't expected. This is a subtask of [JDK-8260559](https://bugs.openjdk.java.net/browse/JDK-8260559).

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

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