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

There is no need for format lines that haven't changed, don't do any global file formatting because it adds lines like this one, which actually we don't want.