hg: jdk8/tl/jdk: 8023447: change specification to allow RMI activation to be optional

[stuart.marks at oracle.com]

Changeset: 6731ea9123f2
Author:    smarks
Date:      2013-09-09 14:11 -0700
URL:       http://hg.openjdk.java.net/jdk8/tl/jdk/rev/6731ea9123f2

8023447: change specification to allow RMI activation to be optional
Reviewed-by: darcy, alanb, olagneau

! src/share/classes/java/rmi/activation/Activatable.java
! src/share/classes/java/rmi/activation/ActivationDesc.java
! src/share/classes/java/rmi/activation/ActivationGroup.java
! src/share/classes/java/rmi/activation/ActivationGroupID.java
! src/share/classes/java/rmi/activation/ActivationID.java
! src/share/classes/java/rmi/activation/package.html