hg: jdk9/sandbox/jdk: 8129789: implies() of ServicePermission and DelegationPermission underspecified

[chris.hegarty at oracle.com]

Changeset: 5349781383fa
Author:    weijun
Date:      2015-09-02 19:20 +0800
URL:       http://hg.openjdk.java.net/jdk9/sandbox/jdk/rev/5349781383fa

8129789: implies() of ServicePermission and DelegationPermission underspecified
Reviewed-by: mullan

! src/java.security.jgss/share/classes/javax/security/auth/kerberos/DelegationPermission.java
! src/java.security.jgss/share/classes/javax/security/auth/kerberos/ServicePermission.java