How to change Play framework default development port once and for all

Build.scala

import sbt._
import Keys._
import play.Project._

object ApplicationBuild extends Build {
  System.setProperty("http.port", "9001")
  // this setting can be overriden with `play "run 9002"`
  
  // ...
}