change jetty port proper way