hg: kulla/dev/jdk: Renaming files from jdk.eval to jdk.jshell as per recent proposal (changes by Robert)

[jan.lahoda at oracle.com]

Changeset: 36f85395e047
Author:    jlahoda
Date:      2015-04-26 17:38 +0200
URL:       http://hg.openjdk.java.net/kulla/dev/jdk/rev/36f85395e047

Renaming files from jdk.eval to jdk.jshell as per recent proposal (changes by Robert)

! make/launcher/Launcher-jdk.jshell.gmk < make/launcher/Launcher-jdk.eval.gmk