// Then
            assertNotNull(ticket);
            assertEquals(SERVER_REALM, ticket.getServerRealm());
            assertEquals(SERVER_PRINCIPAL_NAME, ticket.getServerPrincipalName());
            assertNotNull(ticket.getEncData());

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