hg: jdk9/dev/langtools: 8142447: JShell tool: Command change: re-run n-th command should be re-run by id

[robert.field at oracle.com]

Changeset: d2713a6edc13
Author:    rfield
Date:      2015-12-01 10:27 -0800
URL:       http://hg.openjdk.java.net/jdk9/dev/langtools/rev/d2713a6edc13

8142447: JShell tool: Command change: re-run n-th command should be re-run by id
Reviewed-by: rfield
Contributed-by: bitterfoxc at gmail.com

! src/jdk.jshell/share/classes/jdk/internal/jshell/tool/JShellTool.java
! test/jdk/jshell/ToolBasicTest.java