Integrated: 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()

This pull request has now been integrated.

Changeset: fb8f0c5d
Author:    Ian Graves <igraves at openjdk.org>
Committer: Pavel Rappo <prappo at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/fb8f0c5d
Stats:     63 lines in 10 files changed: 10 ins; 12 del; 41 mod

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

Reviewed-by: prappo

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

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