hg: kulla/dev/langtools: 8130456: JShell API: rename JShell.SubscriptionToken -> JShell.Subscription (new files)

[robert.field at oracle.com]

Changeset: cb513ad89fcd
Author:    rfield
Date:      2015-07-15 11:06 -0700
URL:       http://hg.openjdk.java.net/kulla/dev/langtools/rev/cb513ad89fcd

8130456: JShell API: rename JShell.SubscriptionToken -> JShell.Subscription (new files)

+ src/jdk.jshell/share/classes/jdk/jshell/DeclarationSnippet.java
+ src/jdk.jshell/share/classes/jdk/jshell/ErroneousSnippet.java
+ src/jdk.jshell/share/classes/jdk/jshell/ExpressionSnippet.java
+ src/jdk.jshell/share/classes/jdk/jshell/ImportSnippet.java
+ src/jdk.jshell/share/classes/jdk/jshell/MethodDeclSnippet.java
+ src/jdk.jshell/share/classes/jdk/jshell/PersistentSnippet.java
+ src/jdk.jshell/share/classes/jdk/jshell/StatementSnippet.java
+ src/jdk.jshell/share/classes/jdk/jshell/TypeDeclSnippet.java
+ src/jdk.jshell/share/classes/jdk/jshell/UniqueSnippet.java
+ src/jdk.jshell/share/classes/jdk/jshell/VariableDeclSnippet.java