langtools/src/jdk.jshell/share/classes/jdk/jshell/Unit.java
changeset 37751 77e7bb904a13
parent 37644 33cf53901cac
child 38535 4a25025e0b0d
--- a/langtools/src/jdk.jshell/share/classes/jdk/jshell/Unit.java	Fri Apr 29 15:35:51 2016 -0700
+++ b/langtools/src/jdk.jshell/share/classes/jdk/jshell/Unit.java	Fri Apr 29 19:53:19 2016 -0700
@@ -440,7 +440,7 @@
                 : msi.parameterTypes();
     }
 
-    SnippetEvent event(String value, Exception exception) {
+    SnippetEvent event(String value, JShellException exception) {
         boolean wasSignatureChanged = sigChanged();
         state.debug(DBG_EVNT, "Snippet: %s id: %s before: %s status: %s sig: %b cause: %s\n",
                 si, si.id(), prevStatus, si.status(), wasSignatureChanged, causalSnippet);