On port in [domain_realm]

[Weijun Wang]

Hi bechler

I am a member of the Java SE security team or Oracle and now Looking at 
this bug you reported:

  krb5.conf based domain->realm mapping broken if SPN includes port

Can you show me any document (or source code) that says a port number 
can be added there?

Thanks
Max