Verified: no @EncodeDefault; the writer's encodeDefaults setting decides.
@EncodeDefault
encodeDefaults