FULL PRODUCT VERSION :
jdk9b120

ADDITIONAL OS VERSION INFORMATION :
Ubuntu 16.4

A DESCRIPTION OF THE PROBLEM :
jshell ignores edit code snippets if the editor is noot launched by jshell

This is a clarification / enhancement of
 (Review ID: JI-9039058) - Save does not affect jshell if started from NB terminal

STEPS TO FOLLOW TO REPRODUCE THE PROBLEM :
1. mke shure gedit is not running
2. change the default editor
  /set editor gedit
3. invoke editor
  /editor
4. change code snipped within gedit, press ctrl+s to save
  --> jshell executes the changed code
5. terminate gedit
6. launch gedit form Linux command line or GUI
3. invoke editor
  /editor
4. change code snipped within gedit, press ctrl+s to save
  --> jshell ignores the changes


EXPECTED VERSUS ACTUAL BEHAVIOR :
EXPECTED -
jshell shall observe the changed file, aulthough this might be changed by another process or thread
ACTUAL -
jshell ignores all changes

REPRODUCIBILITY :
This bug can be reproduced always.