31 

    31 

    32 /**

    32 /**

    33  * Represents a user authenticated by HTTP Basic or Digest

    33  * Represents a user authenticated by HTTP Basic or Digest

    34  * authentication.

    34  * authentication.

    35  */

    35  */

    37 public class HttpPrincipal implements Principal {

    36 public class HttpPrincipal implements Principal {

    38     private String username, realm;

    37     private String username, realm;

    39 

    38 

    40     /**

    39     /**

    41      * creates a HttpPrincipal from the given username and realm

    40      * creates a HttpPrincipal from the given username and realm