RFR: JDK-8263411: Convert jshell tool to use Stream.toList()

[Rémi Forax]

On Thu, 18 Mar 2021 20:16:31 GMT, Jan Lahoda <jlahoda at openjdk.org> wrote:

>  that should make things clearer, I think. (And the `List` will be effectively unmodifiable by type, not only at runtime.)

Jan,
don't forget that you can always do a `add(null)` or `clear()` on a List<? extends CharSequence>, so there is no way in Java to specify an unmodifiable type for a java.util.List.

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

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