IDE-1027 add new property to avoid override portal-ide.properties

the property should be get/set/UseDefaultPortalSettings()