ports/139452: [patch] krb5 support in java/openjdk6

[Jung-uk Kim]

FYI, it seems something similar was already done on openjdk bsd-port:

http://hg.openjdk.java.net/bsd-port/bsd-port/jdk/rev/dd5a16c0d375

However, comparing the two trees and the patch, it seems bsd-port 
needs patching two more files:

jdk/src/share/classes/sun/security/jgss/GSSManagerImpl.java
jdk/src/share/classes/sun/security/krb5/internal/ccache/FileCredentialsCache.java

Jung-uk Kim