public String getUserRealm() {
        return this.userRealm;
    }

    /**
     * Returns the user's principal name.
     *
     * @return the user principal name
     */
    public String getUserPrincipalName() {
        return this.userPrincipalName;
    }

    /**
     * Returns the list of user addresses.
     *
     * @return list of user InetAddress objects
     */

            assertNotNull(ticket.getEncData());

            // Also test getters that delegate to KerberosEncData
            assertEquals(USER_PRINCIPAL_NAME, ticket.getUserPrincipalName());
            assertEquals(USER_REALM, ticket.getUserRealm());
        }
    }

    // Note: Testing the code path where keys are null and retrieved from