am 4dd37adc: Merge "ART: Clean up API after change 102631"

* commit '4dd37adcf68a72758236ca770272a5597cd84767':
  ART: Clean up API after change 102631