public String paramString() { return ("label=" + getLabel() + ",state=" + state + "," + super.paramString()); }
paramString() { return ("label=" + getLabel() + ",state=" + state + "," + super.paramString()); }
	public String paramString() {		return ("label=" + getLabel() + ",state=" + state + "," + super.paramString());	}