Don't need this toString comment any more; the constructor converts the defaultValue to a string, to avoid problems where the default value is not serializable.