packet.readTrailerWireFormat(mockInputStream, buffer, 0);
        });
        assertTrue(thrown.getMessage().contains("unexpected EOF reading netbios retarget session response"));
    }

        }
        return key;
    }

    /**
     * Calculates the effective user session key.
     *
     * @param challenge The server challenge.
     * @param dest The destination array in which the user session key will be
     * placed.
     * @param offset The offset in the destination array at which the
     * session key will start.
     */

  val scheme: String
    get() =
      when (javaNetSocket) {
        is SSLSocket -> "https"
        else -> "http"
      }

  val handshake: Handshake?
    get() = (javaNetSocket as? SSLSocket)?.session?.handshake()

  val handshakeServerNames: List<String>
    get() =
      (javaNetSocket as? SSLSocket)
        ?.let { Platform.Companion.get().getHandshakeServerNames(it) }
        ?: listOf()

            mockAddress.toInetAddress();
        }, "Should propagate UnknownHostException");
    }

    @Test
    @DisplayName("firstCalledName should return valid name for session establishment")
    void testFirstCalledNameContract() {
        // Given
        String expectedFirstName = "SERVER";
        when(mockAddress.firstCalledName()).thenReturn(expectedFirstName);

        // When

    if (msg instanceof Smb2LeaseBreakNotification) {
        Smb2LeaseBreakNotification breakNotif = (Smb2LeaseBreakNotification) msg;
        
        // Get lease manager from session
        LeaseManager leaseManager = session.getLeaseManager();
        
        // Handle the lease break
        leaseManager.handleLeaseBreak(
            breakNotif.getLeaseKey(),
            breakNotif.getNewLeaseState()

        } else {
            throw new IllegalArgumentException("Invalid mode");
        }
        file.open(openFlags, access, SmbFile.ATTR_NORMAL, options);
        readSize = file.tree.session.transport.rcv_buf_size - 70;
        writeSize = file.tree.session.transport.snd_buf_size - 70;
        fp = 0L;
    }

    /**
     * Reads a single byte from the file at the current file pointer position.
     *

                                            </c:set>
                                            <la:text styleId="sessionIdSearchBtn" property="sessionId"
                                                     styleClass="form-control" placeholder="${ph_session_id}"></la:text>
                                        </div>

            "The parameter is incorrect.", "Too many Uids active on this session.",
            "The Uid is not known as a valid user identifier on this session.", "The pipe has been ended.",
            "The filename, directory name, or volume label syntax is incorrect.", "The directory is not empty.",

            "The parameter is incorrect.", "Too many Uids active on this session.",
            "The Uid is not known as a valid user identifier on this session.", "The pipe has been ended.",
            "The filename, directory name, or volume label syntax is incorrect.", "The directory is not empty.",

{
    "properties": {
      "sessionId": {
        "type": "keyword"
      },
      "filterType": {
        "type": "keyword"
      },
      "url": {
        "type": "keyword"
      }
    }