throw new UnsupportedOperationException("getFacetInfo() is not supported in this implementation");
        }

        @Override
        public String getSort() {
            throw new UnsupportedOperationException("getSort() is not supported in this implementation");
        }

        @Override
        public int getStartPosition() {

    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);

            return null;
        }

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

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

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

        @Override
        public int getPageSize() {