Pass the jetty port to the djetty script