assertThat(HostAndPort.fromString("[::1]:80").requireBracketsForIPv6().getHost())
        .isEqualTo("::1");
    // Non-bracketed non-IPv6 works fine.
    assertThat(HostAndPort.fromString("x").requireBracketsForIPv6().getHost()).isEqualTo("x");
    assertThat(HostAndPort.fromString("x:80").requireBracketsForIPv6().getHost()).isEqualTo("x");

    assertThat(HostAndPort.fromString("[::1]:80").requireBracketsForIPv6().getHost())
        .isEqualTo("::1");
    // Non-bracketed non-IPv6 works fine.
    assertThat(HostAndPort.fromString("x").requireBracketsForIPv6().getHost()).isEqualTo("x");
    assertThat(HostAndPort.fromString("x:80").requireBracketsForIPv6().getHost()).isEqualTo("x");

 *         .requireBracketsForIPv6();
 * hp.getHost();  // returns "2001:db8::1"
 * hp.getPort();  // returns 80
 * hp.toString(); // returns "[2001:db8::1]:80"
 * }
 *
 * <p>Here are some examples of recognized formats:
 *
 * <ul>
 *   <li>example.com
 *   <li>example.com:80
 *   <li>192.0.2.1
 *   <li>192.0.2.1:80
 *   <li>[2001:db8::1] - {@link #getHost()} omits brackets

      this.flags = flags;
    }

    public Inet4Address getServer() {
      return server;
    }

    public Inet4Address getClient() {
      return client;
    }

    public int getPort() {
      return port;
    }

    public int getFlags() {
      return flags;
    }
  }

  /**
   * Evaluates whether the argument is a Teredo address.
   *

    assertThat(teredo.getServer()).isEqualTo(server);

    InetAddress client = InetAddresses.forString(clientStr);
    assertThat(teredo.getClient()).isEqualTo(client);

    assertEquals(port, teredo.getPort());
    assertEquals(flags, teredo.getFlags());
  }

  public void testTeredoAddress_nullServer() {
    InetAddresses.TeredoInfo info = new InetAddresses.TeredoInfo(null, null, 80, 1000);

                    .launcherFor(spec -> spec.getLanguageVersion().set(JavaLanguageVersion.of(21)))
            );
            task.getDocsDirectory().convention(extension.getDocumentationRenderedRoot());
            task.getPort().convention(webserverPort);

            task.dependsOn(extension.getRenderedDocumentation());
        });

        tasks.register("docs", task -> {
            task.setDescription("Generates all documentation");

            proxySelector.add(
                    new org.eclipse.aether.repository.Proxy(
                            proxy.getProtocol(), proxy.getHost(), proxy.getPort(), authBuilder.build()),
                    proxy.getNonProxyHosts());
        }
        sessionBuilder.setProxySelector(proxySelector);

            task.getDocumentationFiles().from(extension.getUserManual().getRoot());
            task.getDocumentationRoot().convention(extension.getUserManual().getRoot());
            task.getDestinationDirectory().convention(layout.getBuildDirectory().dir("tmp/" + task.getName()));
        });

            return facetInfo;
        }

        @Override
        public HighlightInfo getHighlightInfo() {
            return highlightInfo;
        }

        @Override
        public String getSort() {
            return sort;
        }

        @Override
        public int getStartPosition() {
            return startPosition;
        }

        @Override
        public int getPageSize() {

            }

            @Override
            public FacetInfo getFacetInfo() {
                return null;
            }

            @Override
            public String getSort() {
                return null;
            }

            @Override
            public int getStartPosition() {
                return 0;
            }

            @Override