FYI: JShell javadoc with this change: http://cr.openjdk.java.net/~rfield/8154714v4.jshellAPI/ Generated specification difference: http://cr.openjdk.java.net/~rfield/8154714v4.specdiff/overview-summary.html -Robert