this.carLicense = value;
    }

    public String getCity() {
        checkSpecifiedProperty("city");
        return convertEmptyToNull(city);
    }

    public void setCity(String value) {
        registerModifiedProperty("city");
        this.city = value;
    }

    public String getDepartmentNumber() {
        checkSpecifiedProperty("departmentNumber");

        setupEpg(_epgMap, et -> ((User) et).getCarLicense(), (et, vl) -> ((User) et).setCarLicense(DfTypeUtil.toString(vl)), "carLicense");
        setupEpg(_epgMap, et -> ((User) et).getCity(), (et, vl) -> ((User) et).setCity(DfTypeUtil.toString(vl)), "city");
        setupEpg(_epgMap, et -> ((User) et).getDepartmentNumber(), (et, vl) -> ((User) et).setDepartmentNumber(DfTypeUtil.toString(vl)),
                "departmentNumber");

                .setSize(0)
                .setTrackTotalHits(true)
                .execute()
                .actionGet(fessConfig.getIndexSearchTimeout());
        final TotalHits totalHits = countResponse.getHits().getTotalHits();
        if (totalHits != null) {
            return totalHits.value();
        }
        return 0;
    }

    /**
     * Deletes all documents associated with the specified session ID.

  }

  @GwtIncompatible // BigIntegerMath // TODO(cpovirk): GWT-enable BigIntegerMath
  public void testConstantMaxPowerOfSqrt2Unsigned() {
    assertEquals(
        /* expected= */ BigIntegerMath.sqrt(BigInteger.ZERO.setBit(2 * Integer.SIZE - 1), FLOOR)
            .intValue(),
        /* actual= */ IntMath.MAX_POWER_OF_SQRT2_UNSIGNED);
  }

  @GwtIncompatible // pow()
  public void testConstantsPowersOf10() {

  }

  @GwtIncompatible // TODO
  public void testConstantMaxPowerOfSqrt2Unsigned() {
    assertEquals(
        /* expected= */ BigIntegerMath.sqrt(BigInteger.ZERO.setBit(2 * Long.SIZE - 1), FLOOR)
            .longValue(),
        /* actual= */ LongMath.MAX_POWER_OF_SQRT2_UNSIGNED);
  }

  @GwtIncompatible // BigIntegerMath // TODO(cpovirk): GWT-enable BigIntegerMath

                setAttributeValue(result, fessConfig.getLdapAttrPostalAddress(), o -> user.setPostalAddress(o.toString()));
                setAttributeValue(result, fessConfig.getLdapAttrCity(), o -> user.setCity(o.toString()));
                setAttributeValue(result, fessConfig.getLdapAttrTeletexTerminalIdentifier(),
                        o -> user.setTeletexTerminalIdentifier(o.toString()));