am 9bec5443: Merge "Fix the problem of not shutting down the profiler in ART properly"

* commit '9bec54430e8609765740fdc51d24ed3f3c907919':
  Fix the problem of not shutting down the profiler in ART properly