hg: jdk9/dev/jdk: 8051399: Fix for JDK-8043071 breaks dev build

[weijun.wang at oracle.com]

Changeset: a3ef0dd18345
Author:    weijun
Date:      2014-07-19 11:22 +0800
URL:       http://hg.openjdk.java.net/jdk9/dev/jdk/rev/a3ef0dd18345

8051399: Fix for JDK-8043071 breaks dev build
Reviewed-by: xuelei

! src/share/classes/com/sun/security/auth/module/Krb5LoginModule.java
! src/share/classes/sun/security/jgss/krb5/Krb5InitCredential.java