A small main program to launch Jetty from within Eclipse.