hg: kulla/dev/langtools: Disambiguate internal id for user generated id, internal id becomes Key index

[robert.field at oracle.com]

Changeset: 12e1e526f75b
Author:    rfield
Date:      2015-08-23 14:32 -0700
URL:       http://hg.openjdk.java.net/kulla/dev/langtools/rev/12e1e526f75b

Disambiguate internal id for user generated id, internal id becomes Key index

! src/jdk.jshell/share/classes/jdk/jshell/Eval.java
! src/jdk.jshell/share/classes/jdk/jshell/JShell.java
! src/jdk.jshell/share/classes/jdk/jshell/Key.java
! src/jdk.jshell/share/classes/jdk/jshell/SnippetMaps.java