Standalone Jetty launcher: Print port number at startup