How do I change the default port (9000) that Play uses when I execute the “run” command?

How can I change the default port used by the play framework in development mode when issueing the “run” command on the play console. This is for playframework 2.0 beta. Using the http.port configuration parameter either on the command line or in the application.conf seems to have no effect: C:\dev\prototype\activiti-preso>play run –http.port=8080 [info] Loading project … Read more