return this.encData.getUserPrincipalName();
    }

    /**
     * Returns the user realm from the ticket.
     *
     * @return the user realm
     */
    public String getUserRealm() {
        return this.encData.getUserRealm();
    }

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