jetty.search_port Setting the key Set this configuration key in the server configuration. Use the configuration key editor to add or edit the jetty.search_port key, and set the value. This can be set to any valid Integer value. Default value jetty.search_port=80