RFR (S) 8130450, 8139835: JShell: repeated source / Snippet.id() doc

[Jan Lahoda]

Seems OK to me.

Jan

On 30.3.2016 00:39, Robert Field wrote:
> Bugs:
>      8130450: JShell: events are not generated for repeated source
>      8139835: JShell API: Snippet.id() doc -- specify: no meaning, dynamic
>
> Webrev:
>      http://cr.openjdk.java.net/~rfield/8130450.webrev/
>
> Thanks,
> Robert
>