Cómo cambiar el puerto HTTP en el que Play2 está escuchando

La documentación dice: $ play start Nota: el puerto HTTP se puede configurar pasando la variable de sistema -Dhttp.port pero todavía estoy llegando a 9000 puerto tomado error $ /opt/play-2.0/play start -Dhttp.port=9001 [info] Loading ...