1771177217731774177517761777
return this; } private Object writeReplace() { return new ImmutableDoubleSetSerializationProxy(this); }