playframework

¿Cómo cambio el puerto predeterminado (9000) que usa Play cuando ejecutoel comando "run"?

portplayframeworkplayframework-2.0