docs: public TreeSet<String> getParamNameSet(HtmlParameter.Type type) {
  	    TreeSet<String> set = new TreeSet<>();
  		Map<String, String> paramMap = Model.getSingleton().getSession().getParams(this, type);
  
  		for (Entry<String, String> param : paramMap.entrySet()) {
  			set.add(param.getKey());
  		}
  		return set;
  	}