A krb5.conf has a lot of different settings, some we support, some not. We also define new settings only recognized by Java. A document clearly listing the supported settings and how we use them (say, default value) is needed.