kdc_default_options not supported correctly

kdc_default_options is a hex number for krb5.conf to define the KDCOptions flags in a single integer where each bit of it represents one of 32 flags.

If you want to find out if the n-th flag is turn on, you should check for

   kdc_default_options & (1<<(31-n))

However, java currently checks for

   kdc_default_options & n