hg: kulla/dev/langtools: 8130456: JShell API: rename JShell.SubscriptionToken -> JShell.Subscription

[robert.field at oracle.com]

Changeset: 26f7291bbb41
Author:    rfield
Date:      2015-07-14 22:18 -0700
URL:       http://hg.openjdk.java.net/kulla/dev/langtools/rev/26f7291bbb41

8130456: JShell API: rename JShell.SubscriptionToken -> JShell.Subscription

! src/jdk.jshell/share/classes/jdk/internal/jshell/tool/JShellTool.java
! src/jdk.jshell/share/classes/jdk/jshell/JShell.java
! src/jdk.jshell/share/classes/jdk/jshell/JShellImpl.java
! src/jdk.jshell/share/classes/jdk/jshell/Snippet.java
! test/jdk/jshell/KullaTesting.java
! test/jdk/jshell/ShutdownTest.java