How do I change the default port 8080 for the embedded server?

[S.L]

Lewis,

The default port for Any23 embedded server is 8080 , as it is a commonly
used port , I intend to change it something less common , how can I change
the default port of the embedded server.

Thanks.