}

    Alphabet lowerCase() {
      if (!hasUpperCase()) {
        return this;
      }
      checkState(!hasLowerCase(), "Cannot call lowerCase() on a mixed-case alphabet");
      char[] lowerCased = new char[chars.length];
      for (int i = 0; i < chars.length; i++) {
        lowerCased[i] = Ascii.toLowerCase(chars[i]);
      }
      Alphabet lowerCase = new Alphabet(name + ".lowerCase()", lowerCased);

    /** The key of the configuration. e.g. false */
    String LDAP_GROUP_NAME_WITH_UNDERSCORES = "ldap.group.name.with.underscores";

    /** The key of the configuration. e.g. false */
    String LDAP_LOWERCASE_PERMISSION_NAME = "ldap.lowercase.permission.name";

    /** The key of the configuration. e.g. true */
    String LDAP_ALLOW_EMPTY_PERMISSION = "ldap.allow.empty.permission";

    /** The key of the configuration. e.g. true */