public void save(String binaryFile) {
		fieldByName = null; // This one is not serializable (and we don't really need it anyway)

		if (verbose) Timer.showStdErr("Saving to file '" + binaryFile + "'");
		Gpr.toFileSerialize(binaryFile, this);
		if (verbose) Timer.showStdErr("Done.");
	}