410522 JETTY_PORT sets jetty.port property instead of -Djetty.port