how to change the default port 8080?

[spike-xiong]

I tried -Dserver.port=xxx or --server.port=xxx, but it didn't work.

[Kouuh]

Sorry, I would like to ask if you can run science parse.