By default, Jetty will be started on port 8080, but this can be
changed if there is any conflict. To do so either:
pass the target port number as the first argument of the shell script, or
open either the start_examine.[bat/sh] file (depending on
the platform in use) and edit the value of the JETTY_PORT
variable (to make the change permanent)
Also, the stop port is set by the environment variable JETTY_STOPPORT
and defaults to 8079. To change this either update the value of the
variable in the shell script or pass the new port as the second argument for the
script when running it. The scripts stop_examine.[bat/sh] can be used
to stop a remote running server instance if access to the console where it was
started is not available