// Mock the static GSSManager.getInstance() method
        mockedStatic = mockStatic(GSSManager.class);
        mockedStatic.when(GSSManager::getInstance).thenReturn(gssManager);

        // Setup mock behavior for GSSManager with lenient matchers
        lenient().when(gssManager.createName(anyString(), any(), any())).thenReturn(serviceName);
        lenient().when(gssManager.createName(anyString(), any())).thenReturn(serviceName);

    private final GSSName serviceName;

    Kerb5Context(String host, String service, String name, int userLifetime, int contextLifetime, String realm) throws GSSException {
        GSSManager manager = GSSManager.getInstance();
        GSSCredential clientCreds = null;
        Oid mechOid = JGSS_KRB5_MECH_OID;
        if (realm != null) {