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

Mon Apr 26 08:57:36 UTC 2021

On Sat, 24 Apr 2021 01:17:51 GMT, Ian Graves <igraves at openjdk.org> wrote:

>> 8261168: Convert javadoc tool to use Stream.toList()
>
> Ian Graves has updated the pull request incrementally with one additional commit since the last revision:
> 
>   Replacing one additional Collections.toList() with an explicit toCollection() call

Marked as reviewed by prappo (Reviewer).

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

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