title: How to change default User-agent in mediaplayer of the android
body: <p>In which file of the android repo do i have to change the default user-agent?
  I need to set this string as default user-agent for the media-player:
  <strong>HTC Streaming Player vodafone_uk / 1.0 / htc_bravo / 2.2</strong></p>