am 2f5c9851: Removing old, duplicate developer.android.com server configuration

* commit '2f5c98511397c0528fa710b4603b3322fdc4e7ba':
  Removing old, duplicate developer.android.com server configuration