Merge change 917 into donut

* changes:
  Fix HTML formatting in android.os.AsyncTask