`HttpPrincipal::getName` returns incorrect name

Summary

The specification for HttpPrincipal::getName reports that it should return the name of the HttpPrincipal in the format "realm:username". However, the method in its current state only returns the username.

Problem

Currently, the method HttpPrincipal::getName returns an incomplete name of the HttpPrincipal instance.

Solution

The method should be updated to return the name in the correct format as specified by the javadoc.

Specification

   /**
    * Returns the contents of this principal in the form
    * <i>realm:username</i>.
    *
    * @return the contents of this principal in the form realm:username
    */
    public String getName() {
-      return username;
+      return String.format("%s:%s", realm, username);
    }