resolved conflicts for merge of 4b94c451 to stage-korg-master

Change-Id: I07b974f96ca598677e58623050e4668822e68f23