246             this.port = url.getDefaultPort();

   246             this.port = url.getDefaultPort();

   247         }

   247         }

   248         this.realm = realm;

   248         this.realm = realm;

   249 

   249 

   250         String urlPath = url.getPath();

   250         String urlPath = url.getPath();

   252             this.path = urlPath;

   252             this.path = urlPath;

   253         else {

   253         else {

   254             this.path = reducePath (urlPath);

   254             this.path = reducePath (urlPath);

   255         }

   255         }

   256         this.authenticatorKey = Objects.requireNonNull(authenticatorKey);

   256         this.authenticatorKey = Objects.requireNonNull(authenticatorKey);