191 

   191 

   192     // A special KerberosKey, used as keys read from a KeyTab object.

   192     // A special KerberosKey, used as keys read from a KeyTab object.

   193     // Each time new keys are read from KeyTab objects in the private

   193     // Each time new keys are read from KeyTab objects in the private

   194     // credentials set, old ones are removed and new ones added.

   194     // credentials set, old ones are removed and new ones added.

   195     public static class KeysFromKeyTab extends KerberosKey {

   195     public static class KeysFromKeyTab extends KerberosKey {

   196         public KeysFromKeyTab(KerberosKey key) {

   198         public KeysFromKeyTab(KerberosKey key) {

   197             super(key.getPrincipal(), key.getEncoded(),

   199             super(key.getPrincipal(), key.getEncoded(),

   198                     key.getKeyType(), key.getVersionNumber());

   200                     key.getKeyType(), key.getVersionNumber());

   199         }

   201         }

   200     }

   202     }