protected String paramString() { return ("dir=" + dir + ",file=" + file + ",mode=" + mode + "," + super.paramString()); }
paramString() { return ("dir=" + dir + ",file=" + file + ",mode=" + mode + "," + super.paramString()); }
	protected String paramString() {		return ("dir=" + dir + ",file=" + file + ",mode=" + mode + "," + super.paramString());	}