Integrated: 8260560: convert jdeps and jdeprscan tools to use Stream.toList()

[Ian Graves]

On Tue, 27 Apr 2021 00:20:49 GMT, Ian Graves <igraves at openjdk.org> wrote:

> 8260560: convert jdeps and jdeprscan tools to use Stream.toList()

This pull request has now been integrated.

Changeset: c36c63a0
Author:    Ian Graves <igraves at openjdk.org>
Committer: Pavel Rappo <prappo at openjdk.org>
URL:       https://git.openjdk.java.net/jdk/commit/c36c63a008fa5e8b00dfc36c887cd9497fb91ab5
Stats:     9 lines in 4 files changed: 0 ins; 0 del; 9 mod

8260560: convert jdeps and jdeprscan tools to use Stream.toList()

Reviewed-by: alanb, mchung, iris

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

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