added the jetty plugin repo to ensure we get the latest/greatest jars after finding some strangeness when running the web console on a machine which had not done a local build of jetty