log.info("Mock witness service stopped");
    }

    /**
     * Get the address the service is listening on
     *
     * @return the service address
     * @throws IOException if address cannot be determined
     */
    public InetAddress getAddress() throws IOException {
        if (serverSocket == null) {
            throw new IOException("Service not started");
        }

    /**
     * Anonymous impersonation level - client cannot obtain identification information about itself
     */
    public static final int SMB2_IMPERSONATION_LEVEL_ANONYMOUS = 0x0;

    /**
     * Identification impersonation level - server can obtain the client's identity but cannot impersonate
     */
    public static final int SMB2_IMPERSONATION_LEVEL_IDENTIFICATION = 0x1;

    /**

        if (handleInfo == null) {
            return CompletableFuture.failedFuture(new IOException("Handle info cannot be null"));
        }

        if (handleInfo.isExpired()) {
            return CompletableFuture.failedFuture(new IOException("Handle has expired and cannot be reconnected: " + handleInfo.getPath()));
        }

  @CanIgnoreReturnValue
  @Override
  public final int add(@ParametricNullness E element, int occurrences) {
    if (occurrences == 0) {
      return count(element);
    }
    checkArgument(occurrences > 0, "occurrences cannot be negative: %s", occurrences);
    int entryIndex = backingMap.indexOf(element);
    if (entryIndex == -1) {
      backingMap.put(element, occurrences);
      size += occurrences;
      return 0;
    }

     * @throws CIFSException if the resource cannot be accessed
     */
    SmbResource get(String url) throws CIFSException;

    /**
     * Get a pipe resource
     *
     * @param url the URL of the SMB pipe resource
     * @param pipeType
     *            the type of the pipe
     * @return the SMB pipe resource at the specified location
     * @throws CIFSException if the pipe resource cannot be accessed
     */

        // For coverage, we'll ensure the method doesn't throw MalformedURLException for a valid URL
        // and that it attempts to create an SmbFile.
        // We cannot directly mock `new SmbFile()`, so we rely on the fact that if it doesn't throw, it's working as expected.

        // This test primarily ensures that the wrapper correctly handles the MalformedURLException

            String msg = "Cannot register null or empty aggregation: name=" + name + " value=" + value;
            throw new InvalidQueryRegisteredException(msg);
        }
    }

    protected void checkEsInvalidAggregationCollection(String name, Collection<?> values) {
        if (values == null || values.isEmpty()) {

     */
    @Test
    void testNoNullRefConstant() {
        assertNotNull(NdrException.NO_NULL_REF, "NO_NULL_REF constant should not be null.");
        assertEquals("ref pointer cannot be null", NdrException.NO_NULL_REF, "NO_NULL_REF constant should have the expected value.");
    }

    /**
     * Test the INVALID_CONFORMANCE static field.

# only need to keep the names, and allow it to be stripped out if
# FinalizableReferenceQueue is unused.
-keepnames class com.google.common.base.internal.Finalizer {
  *** startFinalizer(...);
}
# However, it cannot "spot" that this method needs to be kept IF the class is.
-keepclassmembers class com.google.common.base.internal.Finalizer {
  *** startFinalizer(...);
}
-keepnames class com.google.common.base.FinalizableReference {

    }

  override fun peekTrailers(): Headers? {
    if (trailers === TRAILERS_RESPONSE_BODY_TRUNCATED) {
      throw IOException("Trailers cannot be read because the response body was truncated")
    }
    check(state == STATE_READING_RESPONSE_BODY || state == STATE_CLOSED) {
      "Trailers cannot be read because the state is $state"
    }
    return trailers
  }

  override fun flushRequest() {
    socket.sink.flush()