7184246: Simplify Config.get() of krb5

Reviewed-by: xuelei
19 files changed