Changing port for Google App Engine while using grails

The context

I am using Google App Engine using the  Grails AppEngine plugin . The default port is 8080, but I needed to run it on a different port.

It was easy to figure out that Google App Engine supports running the development server on any configured port. But it took me some time to realize that [...]