@@ -31,10 +31,11 @@ /** * Represents a user authenticated by HTTP Basic or Digest * authentication. */ +@jdk.Supported public class HttpPrincipal implements Principal { private String username, realm; /** * creates a HttpPrincipal from the given username and realm