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

Was this code left in there in a previous version?  We should not include it now.