code: public void setMax(Double max) {
          String maxStr = doubleToNiceStr(max);
          JQMCommon.setAttribute(input, "max", maxStr);
          refreshMax(input.getElement().getId(), maxStr);
          validateValue();
      }
docs: Sets the new max range for the slider.
  
  @param max the new max range