hg: jdk9/sandbox/langtools: 8167637: jshell tool: /edit should use EDITOR setting; ...

[chris.hegarty at oracle.com]

Changeset: d245e56f4a79
Author:    rfield
Date:      2016-10-24 17:06 -0700
URL:       http://hg.openjdk.java.net/jdk9/sandbox/langtools/rev/d245e56f4a79

8167637: jshell tool: /edit should use EDITOR setting
8167640: jshell tool: external editor temp file should be *.java
Reviewed-by: jlahoda

! src/jdk.jshell/share/classes/jdk/internal/jshell/tool/ExternalEditor.java
! src/jdk.jshell/share/classes/jdk/internal/jshell/tool/JShellTool.java
! src/jdk.jshell/share/classes/jdk/internal/jshell/tool/resources/l10n.properties
! test/jdk/jshell/ReplToolTesting.java
! test/jdk/jshell/StartOptionTest.java
! test/jdk/jshell/ToolCommandOptionTest.java