docs: private String getDsDefStr(DsDef def) {
  		return "DS:" + def.getDsName() + ":" + def.getDsType() + ":" + def.getHeartbeat() + ":" + formatDouble(def.getMinValue()) + ":"
  				+ formatDouble(def.getMaxValue());
  	}