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

[bitterfoxc at gmail.com]

Changeset: f14852315495
Author:    shinyafox
Date:      2018-03-24 14:43 +0900
URL:       http://hg.openjdk.java.net/jdk/jdk/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