am 7def6439: Merge "Improve ProcessManager."

* commit '7def64396da00e93a06e359497d6aaa781fe610f':
  Improve ProcessManager.