am 47e43feb: Doc change: Proguard tool

* commit '47e43febdd8ba83c333c9c98ca6a8c0bda421305':
  Doc change: Proguard tool