hg: jdk9/dev/jdk: 8061253: Spec cleanup for some security-related classes

[weijun.wang at oracle.com]

Changeset: 6a1801b81fef
Author:    weijun
Date:      2014-11-26 15:28 +0800
URL:       http://hg.openjdk.java.net/jdk9/dev/jdk/rev/6a1801b81fef

8061253: Spec cleanup for some security-related classes
Reviewed-by: mullan

! src/java.base/share/classes/java/security/KeyStore.java
! src/java.base/share/classes/java/security/Principal.java
! src/java.base/share/classes/javax/security/auth/Destroyable.java
! src/java.security.jgss/share/classes/javax/security/auth/kerberos/EncryptionKey.java
! src/java.security.jgss/share/classes/javax/security/auth/kerberos/KerberosCredMessage.java
! src/java.security.jgss/share/classes/javax/security/auth/kerberos/KerberosKey.java
! src/java.security.jgss/share/classes/javax/security/auth/kerberos/KerberosPrincipal.java
! src/java.security.jgss/share/classes/javax/security/auth/kerberos/KerberosTicket.java
! src/java.security.jgss/share/classes/javax/security/auth/kerberos/KeyTab.java