hg: jdk/sandbox: 8199762: JShell API: Failed to detect override when snippet to be overridden has been changed before

[chris.hegarty at oracle.com]

Changeset: f14852315495
Author:    shinyafox
Date:      2018-03-24 14:43 +0900
URL:       http://hg.openjdk.java.net/jdk/sandbox/rev/f14852315495

8199762: JShell API: Failed to detect override when snippet to be overridden has been changed before
Reviewed-by: rfield

! src/jdk.jshell/share/classes/jdk/jshell/MethodSnippet.java
! src/jdk.jshell/share/classes/jdk/jshell/Unit.java
! test/langtools/jdk/jshell/MethodsTest.java