Note that this setting is deprecated.  See the new DeprecationLogger later on...