langtools/src/jdk.jshell/share/classes/jdk/jshell/JShellException.java
Fri, 29 Apr 2016 19:53:19 -0700 rfield 8139837: JShell API: make a common JShellException
less more (0) tip