code: public Double getMax() {
          String v = input.getElement().getAttribute("max");
          if (v == null || v.isEmpty()) return null;
          return Double.valueOf(v);
      }
docs: Returns the max value of the slider