code: public void setCrumbSalt(String salt) {
          if (Util.fixEmptyAndTrim(salt) == null) {
              crumbSalt = "hudson.crumb";
          } else {
              crumbSalt = salt;
          }
      }
docs: Set the salt value. Must not be null.
  @param salt