DateFormat df = _dateFormat;
if (df instanceof StdDateFormat) {
df = ((StdDateFormat) df).withTimeZone(tz);
} else {
// we don't know if original format might be shared; better create a clone:
df = (DateFormat) df.clone();
df.setTimeZone(tz);
}
return new BaseSettings(_classIntrospector, _annotationIntrospector,
_visibilityChecker, _propertyNamingStrategy, _typeFactory,
_typeResolverBuilder, df, _handlerInstantiator, _locale, tz);