RFR 8161983: JShell API: Clean-up following 8160127 et. al.

[Jan Lahoda]

The patch itself seems OK, but I wonder about the JDI->Jdi rename, is it 
a recommendation for abbreviations to have only the first letter 
capitalized in classnames? I was looking for precedents (JDI/Jdi, 
XML/Xml, HTML/Html), and the usages seem to be mixed. W.r.t. to JDI, I 
found only JDIPermission.

Thanks,
     Jan

On 3.11.2016 01:33, Robert Field wrote:
> Important: please read bug for context and description of the work.
>
> Bug:
>
>      https://bugs.openjdk.java.net/browse/JDK-8161983
>
> Webrev:
>
>      http://cr.openjdk.java.net/~rfield/8161983v0.webrev/
>
> Thanks,
> Robert
>