code: public List<Double> getPositiveDoubleList(final String param) {
      return getList(param, new StringToDouble(),
          new IsPositive<Double>(), "positive double");
    }
docs: Gets a parameter whose value is a (possibly empty) list of positive doubles.