title: Changing default port (i.e. 5037) on which adb server runs
body: <p>I am a budding android developer and if there is no easy way of configuring the adb server to run on another port then <em>the inflexibility of the tools</em> will force me to quit android app development.</p>
  
  <p>A web search did not return any solutions. </p>
  
  <p>I also searched for '5037' in all files in android sdk directory but did not find a setting there. </p>