am 5733b35c: Merge "ART: fix highest PC values removal in SrcMap.DeltaFormat()"

* commit '5733b35c23792834f3a2374003c109301a48867c':
  ART: fix highest PC values removal in SrcMap.DeltaFormat()