ok don't bother restarting jetty, rely on the jetty deployer