Dynamic jetty port config