return this.encData.getUserRealm();
    }

    /**
     * Returns the server principal name from the ticket.
     *
     * @return the server principal name
     */
    public String getServerPrincipalName() {
        return this.serverPrincipalName;
    }

    /**
     * Returns the server realm from the ticket.
     *
     * @return the server realm
     */
    public String getServerRealm() {