8199912: jshell tool: /open from URI

[Christian Stein]

Looks still good to me.

Looking forward to jdk-11-ea+12 or ...+13 then. :)

On Mon, Apr 30, 2018 at 8:45 PM Robert Field <robert.field at oracle.com>
wrote:

> Please review the following, contributed by:
>
>            Michal Vala
>
> Thank you Christian Stein for your comments.
>
>
> Bug:
>
>      https://bugs.openjdk.java.net/browse/JDK-8199912
>
> Webrev:
>
>      http://cr.openjdk.java.net/~rfield/8199912v1.webrev/
>
>
> -Robert
>
>
>