specifying the port used by Micro when using the embedded Jetty web server