456         useTicketCache = "true".equalsIgnoreCase((String)options.get

   456         useTicketCache = "true".equalsIgnoreCase((String)options.get

   457                                                  ("useTicketCache"));

   457                                                  ("useTicketCache"));

   458         useKeyTab = "true".equalsIgnoreCase((String)options.get("useKeyTab"));

   458         useKeyTab = "true".equalsIgnoreCase((String)options.get("useKeyTab"));

   459         ticketCacheName = (String)options.get("ticketCache");

   459         ticketCacheName = (String)options.get("ticketCache");

   460         keyTabName = (String)options.get("keyTab");

   460         keyTabName = (String)options.get("keyTab");

   461         princName = (String)options.get("principal");

   465         princName = (String)options.get("principal");

   462         refreshKrb5Config =

   466         refreshKrb5Config =

   463             "true".equalsIgnoreCase((String)options.get("refreshKrb5Config"));

   467             "true".equalsIgnoreCase((String)options.get("refreshKrb5Config"));

   464         renewTGT =

   468         renewTGT =

   465             "true".equalsIgnoreCase((String)options.get("renewTGT"));

   469             "true".equalsIgnoreCase((String)options.get("renewTGT"));