Fix all settings for CodeContracts.